Subject: bug#64064: [PATCH 0/4] debbugs improvements

From: Morgan Smith <[email-masked]>
Date: Sun, 18 Jun 2023 15:26:32 -0400

Michael Albinus <[email-masked]> writes:

>
> I've added another patch which sets
> the mouse-face property; this was lost in your patch.
>

Thanks for catching that!  Reading is not my strong suit :P.  Sometimes
I just feel like deleting code without reading it.

Thanks,

Morgan