merge 161912 582495 quit On Fri, May 21, 2010 at 12:15:04PM +0200, Santiago Vila wrote: > Hmm, I see this is already reported as Bug#161912. > > However, this report includes a patch :-) > > Feel free to merge them anyway.
Done. Cheers, -- Bill. <ballo...@debian.org> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
