[Bug c++/107134] fatal error: stdint.h: No such file or directory for freestanding C++ toolchain

[redi at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107134

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Oh it's not libstdc++'s one, it's GCC's one.