HomePage
RecentChanges
Frequently Asked Questions
History of How do I report a bug in gawk
2008-11-18
12:07 UTC
Revision 1
. . . .
pgas
–
This is described in great detail in the gawk documentation. In brief: # Make sure what you've discovered is really a bug by checking the . . .
(minor)