Commit 7b0679ea71b7fb823e0d42ad27d1b106ca65fbcc

Bruno Haible 2010-04-24T18:02:56

Avoid a gcc warning.