On 31 May 2012 20:19, Hannes von Haugwitz <han...@vonhaugwitz.com> wrote: > Though the bug is meanwhile closed, I still want to report back. > > The issue hasn't reoccurred again with the patched version; so the patch > fixed the issue. >
Thanks, that is nice to know. Regards -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
