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

`extension' jest rozszerzeniem gawk