Subject: [bug#65883] [PATCH] .dir-locals.el: Update bug-reference configuration and document it.

From: Simon Tournier <[email-masked]>
Date: Wed, 20 Sep 2023 17:39:14 +0200

Hi Maxim,

On Wed, 20 Sept 2023 at 17:28, Maxim Cournoyer
<[email-masked]> wrote:

> Thanks for pointing these other possibilities.  Unless they are
> prominently documented though, I'd maybe opt to leave them out, as their
> format simply uses more characters for no added value.

What I have noticed is the way Mumi resolves from Message-ID to Debbugs-ID:

https://issues.guix.gnu.org/msgid/[email-masked]
    ->
https://issues.guix.gnu.org/issue/65131#msgid-4f7b841a5c1ab6ea0ee22d3bbd2bedab2ed435fa

And this case could be handled, no?

Cheers,
simon