8.13 Changes in MySQL Workbench 5.0.18-rc (Not released)

This section documents all changes and bug fixes applied since the release of MySQL Workbench 5.0.17-rc.

Functionality Added or Changed

Bugs Fixed