Re: Debian GNU/w32, may ready to be started?

[Ben Pfaff <blp@cs.stanford.edu>]

Florian Weimer <Florian.Weimer@RUS.Uni-Stuttgart.DE> writes:

> 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...

Last I heard, RMS really hates the moniker "win32" because it has
the string "win" in it, implying that there's something winning
about Windows.  I suspect he'd like w32 better than win32 for
what that's worth.