Robert Millan <zeratul2@wanadoo.es> writes: > The port name was agreed to be 'w32' last time when A Menucc1 posted about > it. Has RMS accepted "GNU/w32"? I guess he won't like it... -- Florian Weimer Florian.Weimer@RUS.Uni-Stuttgart.DE University of Stuttgart http://cert.uni-stuttgart.de/ RUS-CERT +49-711-685-5973/fax +49-711-685-5898