This patch has been installed, so I'm taking the liberty of closing the
bug report.
- bug#16232: [PATCH] grep: make --... Jim Meyering
- bug#16232: [PATCH] grep: make --... Jim Meyering
- bug#16893: [PATCH] Avoid matchin... Glenn Morris
- bug#16893: [PATCH] Avoid matchin... Jim Meyering
- bug#16893: [PATCH] Avoid matchin... Norihiro Tanaka
- bug#16893: [PATCH] Avoid matchin... Norihiro Tanaka
- bug#16232: [PATCH] grep: make --... Paul Eggert
- bug#16232: [PATCH] grep: make --... Jim Meyering
- bug#16232: [PATCH] grep: make --... Jim Meyering
- bug#16232: [PATCH] grep: make --... Norihiro TANAKA
- bug#16232: [PATCH] grep: make --ignore-case (-i) faster (s... Paul Eggert
