Commit e41da81043a9e191ff8e45c24af71b3bbc749ef6

Bruno Haible 2018-09-07T09:57:25

Fix typo in comment in yesterday's commit.