[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#30480] [PATCH] environment: Add --manifest option.
|
From: |
Andreas Enge |
|
Subject: |
[bug#30480] [PATCH] environment: Add --manifest option. |
|
Date: |
Thu, 22 Feb 2018 10:15:56 +0100 |
|
User-agent: |
Mutt/1.9.3 (2018-01-21) |
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 address@hidden,
as I am doing with this message.
Andreas