I checked this in several locales, not reproducible with warty's version of gawk. Closing as NOTWARTY.
I checked this in several locales, not reproducible with warty's version of
gawk. Closing as NOTWARTY.