[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#65883] [PATCH] .dir-locals.el: Update bug-reference configuration a
|
From: |
Simon Tournier |
|
Subject: |
[bug#65883] [PATCH] .dir-locals.el: Update bug-reference configuration and document it. |
|
Date: |
Wed, 20 Sep 2023 17:39:14 +0200 |
Hi Maxim,
On Wed, 20 Sept 2023 at 17:28, Maxim Cournoyer
<maxim.cournoyer@gmail.com> 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/63a33d011b9154bbb4de7ad1d183043220fec49a.1691432343.git.h.goebel@crazy-compilers.com
->
https://issues.guix.gnu.org/issue/65131#msgid-4f7b841a5c1ab6ea0ee22d3bbd2bedab2ed435fa
And this case could be handled, no?
Cheers,
simon