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

désactivation de « --lint » en raison d'une affectation à « LINT »