Zack Weinberg wrote: > > https://git.savannah.gnu.org/gitweb/?p=config.git;a=commitdiff;h=91f6a7f616b161c25ba2001861a40e662e18c4ad > > > > https://git.savannah.gnu.org/gitweb/?p=config.git;a=commitdiff;h=28ea239c53a2d5d8800c472bc2452eaa16e37af2 > > the host_os values windows* (and in particular windows*-msvc*) were > > introduced, to denote native Windows environments. > > I had been under the impression (following a lengthy argument on the config- > patches mailing list) that these were going to be at least partially > reverted
Yes, there was a long discussion on the mailing list, and the second commit that I cited above is the partial revert. > but your patch does no harm in any case, so I've applied it. More precisely, my patch prevents harm in the future :-) Thanks. Bruno