Thank you Paul ! > On May 30, 2019, at 8:37, Paul Eggert 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> Jean-Christophe Helary ----------------------------------------------- http://mac4translators.blogspot.com @brandelune