[aur-general] mysql-gui-tools unmaintained

[rafael ff1]

2012/3/23 Heiko Baums <lists at baums-on-web.de>:
>
> I guess mysql-gui-tools can be completely removed. As far as I know
> this has been renamed to MySQL Workbench by upstream.

Correct. "It is the successor to DBDesigner 4 from fabFORCE.net, and
replaces the previous package of software, MySQL GUI Tools Bundle."
(MySQL Workbench wikipedia)