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

From: Lars Ingebrigtsen <[email-masked]>
Date: Sun, 08 Dec 2019 03:51:56 +0100

Eli Zaretskii <[email-masked]> writes:

>> Has anyone reported the problem with debbugs.gnu.org to [email-masked]?
>
> Which problem is that?

Perhaps he's referring to debbugs.gnu.org being down periodically the
past week or so.  I assumed it had something to do with the DDOS attack
reported earlier:

  https://savannah.nongnu.org/forum/forum.php?forum_id=9618

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no