Commit 614ff64f8c5ddce71a53c7c7a34f048e7fad34fa

Bruno Haible 2008-11-10T12:48:32

Fix a serious gcc warning.