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]

