Lars Ingebrigtsen <larsi@gnus.org> writes:

>> Lars, if that's ok with you, I'll install Damien's patch on master.
>
> Looks good to me.

Ok, I installed it in master, so I'm closing this issue.

Cheers,
Nico