Stefano Zacchiroli <[email protected]> writes:

> tags 675073 + patch
> thanks

patch applied upstream.

> David, the (trivial) patch to fix Jakub's bug report is attached, ready
> for 'git am'. It doesn't touch debian/changelog as I've no idea if you
> prefer to have patches for that too or not...

Sure, in general a (separate) patch for changelog is welcome. Note there
was a bug fix release this morning...

d



-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to