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

From: Michael Albinus <[email-masked]>
Date: Sun, 18 Jun 2023 12:11:40 +0200

Michael Albinus <[email-masked]> writes:

Hi Morgan,

>> * debbugs-gnu.el (debbugs-gnu-print-entry): Remove all printing logic and
>> replace with a call to 'tabulated-list-print-entry'.
>
> According to my tests, this looks good.

I've pushed it to the git repostory. I've added another patch which sets
the mouse-face property; this was lost in your patch.

Best regards, Michael.