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

`extension' ye una estensión de gawk