Bruno Haible Mon, 07 Aug 2017 13:09:53 -0700
Reuben Thomas wrote: > Thanks, that seems to fix it. Good! So, I've pushed it.
Bruno