Subject: bug#22687: Online manual not updated automatically

From: Andreas Enge <[email-masked]>
Date: Tue, 16 Feb 2016 17:42:18 +0100

On Tue, Feb 16, 2016 at 05:33:27PM +0100, Ricardo Wurmus wrote:
> I was not courageous enough to suggest that, but this does sound like a
> good idea.

It is easy enough to have that courage when one is not the person making
the releases :-)

Andreas