Hi, 2014-02-05 Daniel Moerner <de...@cam.ac.uk>: > Thanks for looking into this, I think it's reasonable to close it. I now > longer have the core files.
OK. Thanks for submitting the bug report and following up despite not having replies for the maintainer, by the way... I forgot to add this in the previous e-mail :-) Cheers. -- Manuel A. Fernandez Montecelo <manuel.montez...@gmail.com> -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org