Lars Ingebrigtsen <larsi@gnus.org> writes:

> Wrong patch?  :-)

Yup.  I hope I managed to attach the correct one below.