Commit 165dbf16133deaaa2ce85a9284d49a14181e299a

Bruno Haible 2009-01-17T09:30:17

Oops, fix unintended commit.