Commit 7e84360e8d12d9cb9817319207eb4154fad71c3c

Bruno Haible 2006-06-28T16:22:49

Fix the comment fix.