Z:gnu-gawk--855ead-`extension' is a gawk extensio/da

'extension' er en gawk-udvidelse