On 31 May 2012 20:19, Hannes von Haugwitz <hannes at 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