Gawk Patch (&gawk-patch-version;) - &gawk-patch-size;: <ulink url="&http;/gawk-&gawk-patch-version;.patch"/>
