Commit 7bf43e3e1d87d8a2d1b2d967ba6f27afd8825d0b

Bruno Haible 2001-04-30T11:26:43

Silence a gcc warning.