This has been fixed by upstream in commit 17453df8b1ba435161b29ca7e8cf266d0fbaf4ac Author: Arnold D. Robbins <arn...@skeeve.com> Date: Mon May 28 10:45:15 2018 +0300
and commit 20a79b31c9897f825323eedee4c0eb01922d53da Author: Arnold D. Robbins <arn...@skeeve.com> Date: Thu Mar 22 18:37:52 2018 +0200 except for the italic corrections. This report and the #911759 should be closed. The new version of gawk (5.0.1) should be made available. -- Bjarni I. Gislason