Thanks for the fix. This took care of the issue for us.
Cheers, Andrew On 12/28/18 1:29 AM, Paul Eggert wrote:
Thanks for reporting that. I installed the attached two patches into Gnulib. The first should fix the bug; the second fixes a couple of typos I noticed while fixing the bug.