On 06/11/2014 06:27 PM, Claudius Marpa Heine wrote:
Hi,Please do report this as a bug on trac.I don't want to create a trac account just to report this single and rather minor bug. If you would have wanted everyone to report bugs there, you would allow it without account and then I wouldn't have used this mailing list to report it in the first place.
I wouldn't call a crash "minor", but never mind: It's been fixed by Enrico. Richard
