On Fri, Dec 03, 2010 at 10:16:34PM +0000, Barak A. Pearlmutter wrote: > or, if you wait a few months, i'll scrape up an hour to work up that > fix...
Today I've cloned the repo, but a fix is already there! Thanks. Cheers -- Enrico Tassi -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org