Commit 638ad28558b3115946df2a09af673c368bf83e55

Bruno Haible 2006-06-17T20:14:12

Fixes for stdint from gnulib.