This seems to be fixed, so closing the report. If a similar bug appears in 13.10 please open a new one.
This seems to be fixed, so closing the report.
If a similar bug appears in 13.10 please open a new one.