On Sun, 07 Jun 2020 17:02:03 -0700, Jordan Geoghegan wrote: > Thanks for the quick response. I certainly wasn't expecting to find an > ancient bug like this. Should I be reporting this bug upstream, or are > you planning on upstreaming a diff?
I've created a pull request to fix this upstream: https://github.com/onetrueawk/awk/pull/80 - todd