Fix committed in dd7c191291c8eb1afeac0f1512745491c5c7a317 and pushed to
main repository main and (mistakenly; won't do this again) emacs-27 branches

On Tue, Jul 7, 2020 at 10:51 AM GNU bug Tracking System <
help-debbugs@gnu.org> wrote:

> Thank you for filing a new bug report with debbugs.gnu.org.
>
> This is an automatically generated reply to let you know your message
> has been received.
>
> Your message is being forwarded to the package maintainers and other
> interested parties for their attention; they will reply in due course.
>
> Your message has been sent to the package maintainer(s):
>  bug-gnu-emacs@gnu.org
>
> If you wish to submit further information on this problem, please
> send it to 42246@debbugs.gnu.org.
>
> Please do not send mail to help-debbugs@gnu.org unless you wish
> to report a problem with the Bug-tracking system.
>
> --
> 42246: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=42246
> GNU Bug Tracking System
> Contact help-debbugs@gnu.org with problems
>