Patch from awk maintainer (Dmitry Zakhrov) to fix bugs 642, 663, and 667.
1 file changed