On Sat, Apr 10, 2010 at 18:40, Noèl Köthe <n...@debian.org> wrote: > so its OK to close the bug because its not reproducible?
Yes. Not much that can be done about this now. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org