Commit 613aa429e6e8f77255ff6ea88625ca472c2b91cc

Bruno Haible 2019-03-10T13:01:33

Fix test failure introduced by last commit.