Comment # 8 on bug 772455 from Stefan Seyfried

This bug somehow totally got lost in the bugzilla universe (and only now after
the upgrade was I notified of it again).

I'll leave it as "resolved fixed", assuming that I would have gotten reports
for 12.3 or 13.1 if it really still was an issue.

If this is incorrect, please reopen. Or better: open a new bug against a still
supported distribution.

Have fun! :-)

seife