As this was a bug (now fixed) in Bash not grep, I'm closing the grep bug report.



Reply via email to