Subject: Re: bug#38517: debbugs.gnu.org

From: Eli Zaretskii <[email-masked]>
Date: Sun, 08 Dec 2019 07:38:55 +0200

On December 8, 2019 7:14:15 AM GMT+02:00, Richard Stallman <[email-masked]> wrote:
> 
> > > Has anyone reported the problem with debbugs.gnu.org to
> [email-masked]?
> 
>   > 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.