Commit 20dfb6d757709f2d36e38eb33d221c94a5c4a01f

Bruno Haible 2005-06-08T19:26:02

Avoid a warning on mingw.