Re: wctype.h compile error on mingw with GNULIB_NAMESPACE

[Bruno Haible]

Hi Christian,

> Thanks Bruno -- have these been committed yet? It looks like they probably 
> are?

Yes. This should be obvious when you do a "git pull" or look at
https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=shortlog

Bruno