Z:gnu-gawk--8fd122-`IGNORECASE' is a gawk extensi/ga

is feabhs�ch�n gawk � `IGNORECASE'