[Mageia-dev] push requested mysql-workbench

[Dexter Morgan]

Hi,


please push  mysql-workbench, it obsoletes mysql-gui-tools to allow
updates from mandriva.