Re: Support of usertag for the "guix" package?

[Maxim Cournoyer]

Hello Michael!

Michael Albinus <michael.albinus@gmx.de> writes:

[...]

> I've applied a fix on the debbugs.gnu.org server, could you pls test?

It works!  Thanks a lot for unearthing the details and providing a fix!

> Noam, I would like to sync this change of User.pm with your debbugs
> repo. How could I do this?

By the way, where is the GNU Debbugs instance's code hosted?  I've read
about failed attempts from Ludo to have it hosted on Savannah [0].  I'd
be interested to have a copy of it :-).

Maxim

[0]:  https://savannah.nongnu.org/task/?14517