Commit bdbe578c9d01ce18b3f457b8c7a1a6b6f5a5bb1a

Bruno Haible 2003-03-30T14:34:29

Fix misapplied patch.