On 9/8/16 7:20 PM, Paul Eggert wrote:
This should fix Bug#21815 so I'll close that bug report while I'm at it.
Bug#22702 (build feedback for grep 2.23) has been superseded by Nelson H. F. Beebe's more recent build report for grep-3.4-almost.19-ff30:
https://lists.gnu.org/r/grep-devel/2020-09/msg00028.html so I'm closing the circa-2016 bug report to tidy up things.
