Subject: Re: [bug#37375] How to close issues?

From: Ricardo Wurmus <[email-masked]>
Date: Fri, 20 Sep 2019 08:58:14 +0200

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