On Fri, Dec 1, 2023, at 12:21 AM, Bruno Haible wrote:
> Hi,
>
> Through these two commits to config.sub
>
> 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=28ea239c53a2d5d8
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 win
