Subject: How to close issues?

From: Brian Leung <[email-masked]>
Date: Fri, 20 Sep 2019 06:36:49 +0200

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

Thanks,
Brian