Commit c98c353fe8a7697fab65c58382afb95b8db2f07f

Bruno Haible 2009-03-01T17:54:52

Avoid a gcc warning.