4.37 Changes in MySQL Workbench 5.2.13 (Not released)

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

Bugs Fixed