Hi, "Johannes Rohr" <jorohr@gmail.com> wrote: > I was apparantly hit by bug #425803 Can we (or you) close the bug, then? Thanks. -- Florent