Z:gnu-gawk--3ad07a-turning off `--lint' due to as/it

disabilito `--lint' a causa di assegnamento a `LINT'