[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: directing bug-dejagnu into debbugs
|
From: |
Ben Elliston |
|
Subject: |
Re: directing bug-dejagnu into debbugs |
|
Date: |
Mon, 3 Dec 2018 11:02:25 +1100 |
|
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Sun, Dec 02, 2018 at 06:19:42PM -0500, Glenn Morris wrote:
> > I am one of the two maintainers of DejaGnu. Currently, users report
> > problems to address@hidden I just discovered that bug-automake
> > now diverts into the central GNU bug tracking system. Could we make
> > the changes so that bug-dejagnu does, too?
> This should take effect in an hour or so.
> Please disable the mailman bug list prefix, as per
> https://debbugs.gnu.org/Using.html .
I think it would make sense to run the mailing list in exclusive
mode. Is that what you have done?
Thanks, Ben
signature.asc
Description: PGP signature