Commit 9ded0d63d51de421bd12da08d8d1992d17272410

Bruno Haible 2008-02-24T18:40:04

Fix a build problem on HP-UX 10.