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

'extension' is een gawk-uitbreiding