MySQL Workbench 6.0.7.1
Merge pull request #1333 from OlivierParent/master

MySQL Workbench 6.0.7.1