On 31 May 2012 20:19, Hannes von Haugwitz <[email protected]> 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
