Commit db16856ae761bc213942c17f6fc2b7e9655014b4

Bruno Haible 2021-04-11T15:50:35

Rename GNULIB_OVERRIDES_WINT_T. * GNULIBHEADERS_OVERRIDE_WINT_T: Renamed from GNULIB_OVERRIDES_WINT_T.