Subject: [bug#30480] [PATCH] environment: Add --manifest option.

From: Andreas Enge <[email-masked]>
Date: Thu, 22 Feb 2018 10:15:56 +0100

On Wed, Feb 21, 2018 at 10:17:33PM -0500, Thompson, David wrote:
> Pushed.  Do I have to do something special to close this ticket?

One just needs to send an e-mail to [email-masked],
as I am doing with this message.

Andreas