Hello, A bugfix for this has been commited in the upstream source repository [1] will be part of the next release (4.0.1?).
[1]: <http://git.savannah.gnu.org/cgit/gawk.git/commit/?h=gawk-4.0-stable&id=953f97ddd184f3dfb1ce16ee2965012965b17fac> Thanks for your report! Regards, -- Jeroen Schot -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
