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

`extension' � un'estensione gawk