Hi, The bug #742283 apparently is about supermin 5.1.5, and there's a message indicating this doesn't occur with 5.1.6. Now sid already's got 5.1.7, so should this bug be marked fixed + closed?
Thanks, -- ,''`. Christian Hofstaedtler <z...@debian.org> : :' : Debian Developer `. `' 7D1A CFFA D9E0 806C 9C4C D392 5C13 D6DB 9305 2E03 `- -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
