Commit 6304a5073700bf49dc5fe2d740cd52af6e1a1cab

Bruno Haible 2010-05-13T19:22:39

Avoid useless warnings from G++.