Subject: Re: [bug#37375] How to close issues?
From: Ricardo Wurmus <[email-masked]>
To: Brian Leung <[email-masked]>
Cc: [email-masked]
Date: Fri, 20 Sep 2019 08:58:14 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Brian,

> I pushed these commits to master. How can I close issues? I couldn't figure
> this out from the Savannah site.

To close just send email to <number>[email-masked] (like I’ve
done here).

-- 
Ricardo