Cc: 56095@debbugs.gnu.org
Date: Wed, 22 Jun 2022 09:30:08 +0800
From: Po Lu via "Bug reports for GNU Emacs,
the Swiss army knife of text editors" <bug-gnu-emacs@gnu.org>

Gerd Möllmann <gerd.moellmann@gmail.com> writes:

Please find a patch for that attached.

LGTM, thanks.

Thanks, I installed this on master (after adding the bug number to the
commit log message).

Btw, Gerd, I think you still have write access to the project's
repository, so in principle you could install changes yourself.
(If that doesn't work, let me know.)