Subject: Re: Fixed now

From: Andreas Enge <[email-masked]>
Date: Fri, 23 May 2025 09:09:46 +0200

Please distinguish debian and GNU :-)

Our debbugs instance is @debbugs.gnu.org.

Now closing for real.

Andreas