Bruno Haible Fri, 27 Jul 2018 02:39:56 -0700
Paul Eggert wrote: > I looked at it just now; seems OK, and I installed it. Thanks.
I added a corresponding ChangeLog entry.