bug#38517: debbugs.gnu.org

[Eli Zaretskii]

On December 8, 2019 7:14:15 AM GMT+02:00, Richard Stallman <rms@gnu.org> wrote:
> 
> > > Has anyone reported the problem with debbugs.gnu.org to
> sysadmin@gnu.org?
> 
>   > Which problem is that?
> 
> I responded to a message which said the site was not responding.  It
> responded to another person who had said the same thing.  I don't know
> what the problem was -- those details were in other messages -- but
> the point doesn't depend on the details of the bug.
> 
> The point is to report outages of debbugs.gnu.org to the people who
> can actually fix them: the sysadmins.

In the future, please don't change the Subject line when you respond to 
messages of this mailing list, because doing so causes debbugs to create a new 
bug report, and that loses the thread information which would allow us to 
understand the context.  Especially if you don't quote any parts of the message 
to which you responded.