Commit 35f451cde08030637cb14c8c9bc5aa8538d20f6c

Simon Josefsson 2007-09-07T10:33:34

doc/headers/stdint.texi: Discuss #include_next issue.