mysql-gui-tools

[Benny Goemans]

Hi,

I've noticed that the mysql-gui-tools port has been removed. A few months ago 
I had found a way to fix the build (in fact, change one line in an include 
file somewhere) but was unsure if it would work with other mysql versions than 
the one I'm using.
Is it possible to bring back the port so I can submit that change so that at 
least some people can use it again? 

Kind regards,

Benny Goemans

__________________________________
Benny Goemans
Software Architect
Senior Analyst/Developer
Tel: +32 496 624513
Wacadu BVBA, BE0830.680.977