Commit 4219cb334ebe432badea3b9836366fb6759df0d5

Bruno Haible 2006-06-10T16:45:50

Avoid a warning on Linux.