On Sep 13 2017, Lars Ingebrigtsen <larsi@gnus.org> wrote:
> Nikolaus Rath <nikolaus@rath.org> writes:
>
>> Thanks for the review, revised patches attached.
>
> Looks good to me.  It needs to be documented in the manual, though, and
> perhaps a NEWS entry...

Updated patch is attached.

Best,
-Nikolaus

-- 
GPG Fingerprint: ED31 791B 2C5C 1613 AF38 8B8A D113 FCAC 3C4E 599F

             »Time flies like an arrow, fruit flies like a Banana.«