Uploaded. I've also forwarded your fix to Debian so we can sync this package on the next revision. Thanks for your work. -- 4digits has no menu entry https://bugs.launchpad.net/bugs/152297 You received this bug notification because you are a member of Ubuntu Sponsors for universe, which is a direct subscriber.