From: [email-masked]
Date: Wed, 25 Oct 2023 01:03:11 +0000

So I apparently cannot close this bug, but you can jaeme:

https://debbugs.gnu.org/server-control.html

I personally use emacs-debbugs to close bug reports. It is fairly
easy wants you get it set up.