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. <ballombe@debian.org> Imagine a large red swirl here.