Re-adding a port [was: Re: mysql-gui-tools]

[Mark Linimon]

On Fri, Nov 11, 2011 at 01:04:41PM +0100, Benny Goemans wrote:
> Is it possible to bring back the port so I can submit that change so that at 
> least some people can use it again? 

I've just added a section to our Committer's Guide, since it seems
something that many people don't understand how to do:

http://www.freebsd.org/doc/en_US.ISO8859-1/articles/committers-guide/ports.html#AEN1347

I'd be glad to get reactions/corrections.

mcl