Re: [bug-gawk] bug in gawk

[Aleksey Cheusov]

07.04.2019, 09:02, "address@hidden" <address@hidden>:
> Hi.
>
> Here is the diff. I will get this into the git repo sometime in
> the next few days, but this will let you move ahead.

Thanks! I'm waiting for the next release.
It's unlikely I'm able to push this change to all Linuxes and BSDs I'm using.