5.13 Changes in MySQL Workbench 5.1.7 (Not released)

This section documents all changes and bug fixes applied since the release of 5.1.6.

Bugs Fixed