-
Luigi Toscano authored
The following warning is reported by gawk >= 5 but it really affects also the previous versions: warning: regexp escape sequence `\"' is not a known regexp operator
6088f6db
The following warning is reported by gawk >= 5 but it really affects also the previous versions: warning: regexp escape sequence `\"' is not a known regexp operator