Comment # 9 on bug 904767 from Cristiano Guadagnino

I am still experiencing the problem on Tumbleweed 20150603 and MySql Workbench
6.2.3-2.2.

After reporting the problem on the forums, got this reply from wolfi:

---
Well, apparently the fix never was submitted to Factory, only 13.2.
You probably should reopen the bug report or file a new one.

According to the upstream bug report (https://bugs.mysql.com/bug.php?id=74147),
the issue should be fixed in mysql-workbench 6.2.5.
So somebody would just have to update the package to the latest upstream
version... 
---