7.12 Changes in MySQL Workbench 5.0.19 (2008-04-15)

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

Bugs Fixed