7.13 Changes in MySQL Workbench 5.0.18rc (Not released)

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

Functionality Added or Changed

Bugs Fixed