I have installed this and am closing the bug report.
- bug#23321: [PROPOSED PATCH] grep: /dev/null output speedup Paul Eggert
- bug#23321: [PROPOSED PATCH] grep: /dev/null output speedu... arnold
- bug#23321: [PROPOSED PATCH] grep: /dev/null output speedu... Paul Eggert
