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

`extension' は gawk 拡張です