Bug is actually known in debian trackers as http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=675069 and already fixed in last revision according to it. Sorry for the noise.
2013/7/16 Debian Bug Tracking System <ow...@bugs.debian.org>: > Thank you for the additional information you have supplied regarding > this Bug report. > > This is an automatically generated reply to let you know your message > has been received. > > Your message is being forwarded to the package maintainers and other > interested parties for their attention; they will reply in due course. > > Your message has been sent to the package maintainer(s): > Craig Small <csm...@debian.org> > > If you wish to submit further information on this problem, please > send it to 714...@bugs.debian.org. > > Please do not send mail to ow...@bugs.debian.org unless you wish > to report a problem with the Bug-tracking system. > > -- > 714972: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714972 > Debian Bug Tracking System > Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
