Hello Helmut, Helmut Grohne [2013-10-07 11:52 +0200]: > I saw that you tagged this bug as fixed-upstream and later uploaded a > new upstream version without closing this bug. Since I can no longer > reproduce the issue I assume that this release is indeed the one fixing > the issue and am thus closing the bug.
Indeed, thanks for cleaning up! Martin -- Martin Pitt | http://www.piware.de Ubuntu Developer (www.ubuntu.com) | Debian Developer (www.debian.org) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
