Commit 110570775398986dbd5259ade77d65a30c5978a1

Bruno Haible 2016-11-23T20:07:20

Drop the nickname "woe32".