Re: [PATCH] stdint: port intptr_t to more-recent MinGW

[Bruno Haible]

> * lib/stdint.in.h (intptr_t, uintptr_t): Do not define on MinGW,

I can confirm that this patch works fine on my copy of mingw(-w64) from 2017.

Bruno