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. -- mysql workbench package request https://launchpad.net/bugs/53062 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
