On 8/20/20 1:44 PM, Paul Eggert wrote: > Thanks, I installed those patches into Gnulib and added the corresponding > ChangeLog patches. Thanks for fixing this!
-- Cheers, Carlos.
On 8/20/20 1:44 PM, Paul Eggert wrote: > Thanks, I installed those patches into Gnulib and added the corresponding > ChangeLog patches. Thanks for fixing this!
-- Cheers, Carlos.