Commit defbf674de0b221651ec275b6ac933dbd55aba50

Bruno Haible 2007-03-17T18:39:35

Undo last patch.