On Tue, Jun 28, 2016 at 4:17 PM, Lars Magne Ingebrigtsen <larsi@gnus.org>
wrote:

> I think you'll all feel that this was worth all this work:


​Very nice work, as always.​

Bob