Comment 3 for bug 53062

Revision history for this message
Mark Van den Borre (markvdb) wrote : Re: mysql workbench package request

http://bugs.mysql.com/bug.php?id=16880

At least some work has been done. The bug has been closed. It's unclear though if the issue itself was fixed.