Z:gnu-gawk--bf8c97-To report bugs, see node `Bug/en

To report bugs, see node `Bugs' in `gawk.info', which is section `Reporting Problems and Bugs' in the printed version.

\