Closed zetatez closed 1 year ago
Closing as a duplicate of #463.
For now, downgrading to gawk 5.1.1 temporarily fixes this.
I was not able to reproduce #463 but I can reproduce this one on 5.2.0, so they might have separate but related causes. This definitely has something to do with gawk 5.2.