Subject: Re: bug#56393: Soon also looking at your branch

From: Michael Albinus <[email-masked]>
Date: Mon, 18 Jul 2022 14:19:49 +0200

Gerd Möllmann <[email-masked]> writes:

Hi Gerd,

> Thanks for helping me with this! I think this is clearly a user
> error, the user being me.

Thanks for the feedback. I was a little bit nervous about a hidden
debbugs.el error.

Best regards, Michael.