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

`extension' es una extensión de gawk