bug#23261: 25.0.92; Undefined behavior in lib/stdint.h

[Eli Zaretskii]

> From: Philipp Stephani <p.stephani2@gmail.com>
> Date: Sun, 10 Apr 2016 15:51:31 +0200
> 
> Could we maybe just remove stdint.h completely?  It should always be
> provided by the standard C library.

If you have lib/stdint.h, it means the configure script found the one
that came with your library deficient in some sense; look in
config.log to see why.  E.g., on my system lib/stdint.h is not
generated and not used.