On Wed, 27 Sep 2023 12:15:18 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> Looks good. Have you verified that this works with nawk as well as old gawk > versions? On AIX I have both nawk and gawk on the machine and both work with the change. On Linux I have just gawk (more recent one) and this works too. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15941#issuecomment-1737516357
