Paul Eggert <egg...@cs.ucla.edu> wrote: > On 5/6/21 11:23 PM, arn...@skeeve.com wrote: > > I'd prefer to see it fixed upstream... > > It was fixed upstream a couple of weeks ago. You should be able to fix > the Gawk issue by syncing Gawk from Gnulib.
Thanks, will do. Arnold