Commit 9d5d03ff00b8b11b51450ce107159b263efb1739

Bruno Haible 2008-10-18T03:15:17

Avoid compilation error due to MacOS X 10.5 gcc cross-compilation bug.