Commit 86dbecb197b1fb04b9ed363a4e5731360b8efc95

Bruno Haible 2006-10-26T11:36:41

Avoid a gcc warning.