Commit da288217732afacdd651cc5b7f374c21e6b80c86

Bruno Haible 2003-05-12T09:40:28

Fix a bad bug.