Subject: Re: bug#25927: [PATCH] gnu: Add lensfun.
From: Leo Famulari <[email-masked]>
To: Roel Janssen <[email-masked]>
Cc: [email-masked]
Date: Wed, 8 Mar 2017 18:24:26 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

On Wed, Mar 08, 2017 at 11:50:55PM +0100, Roel Janssen wrote:
> I pushed it.  How do I close this ticket?

You can close bugs on debbugs by sending a message to
<[email-masked]>, where NNN is the number of the bug.