Robert Benjamin wrote: > Filed the bug #614546. In the meantime would it help if I deleted > 1.2 and installed 1.3? > File the bug here, not with your distro. It doesn't work in 1.3.0; that's what I'm using.