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

From: Michael Albinus <[email-masked]>
Date: Sat, 07 Dec 2019 11:37:12 +0100

Richard Stallman <[email-masked]> writes:

Hi Richard,

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

Sorry, due to health problems I couldn't read everything last
weeks. Which problem do you mean?

Best regards, Michael.