On May 30, 2019, at 8:37, Paul Eggert <eggert@cs.ucla.edu> wrote:

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.

<0001-Update-from-Gnulib.patch>