On 5/29/19 8:04 AM, Eli Zaretskii wrote:
> Paul imports the Gnulib version regularly, and Karl Berry said that
> version had a problem.

I ran 'admin/update-gnulib' and installed the resulting patch. This 
upgrades master to the latest version in Gnulib, which Karl updated 
recently, and so should fix the problem.