> From: समीर सिंह Sameer Singh <lumarzeli30@gmail.com> > Date: Sun, 30 Oct 2022 16:01:35 +0530 > Cc: 58376@debbugs.gnu.org, Visuwesh <visuweshm@gmail.com> > > Yes, that would be okay too. Thanks, done, and closing the bug.