5.12 Changes in MySQL Workbench 5.1.8 (Not released)

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

Bugs Fixed