I don't remember when I made this change, but it looks correct.
authorPete Elmore <pete@debu.gs>
Thu, 5 Jul 2018 20:32:20 +0000 (13:32 -0700)
committerPete Elmore <pete@debu.gs>
Thu, 5 Jul 2018 20:32:20 +0000 (13:32 -0700)
commit3aaab6e05f54107efc9c89543293145041cc907f
tree143fda02ec1a005a0faa9ebe9ec65a25695f1353
parentc0aa34f370e7482c585ca17ce488271a032c5f69
I don't remember when I made this change, but it looks correct.
awk/040.awk