Jim Higson wrote:
This is a known bug: #583234
(
https://sourceforge.net/tracker/index.php?func=detail&aid=583234&gr…)
Thanks for pointing it out, though; for future reference, bugs should always be looked for
/
submitted to the tracker at
https://sourceforge.net/tracker/?group_id=34373&atid=411192
--
Rowan Collins
[IMSoP]