Philip Munksgaard writes: > This issue has been fixed by #48943 and should be closed.
You can close a bug report by emailing nnn-d...@debbugs.gnu.org where NNN is the bug number. For the body of the email you can say something like "Closing because <reason>".