Merge pull request #13994 from neheb/greo
authorRosen Penev <rosenp@gmail.com>
Tue, 24 Nov 2020 01:37:03 +0000 (17:37 -0800)
committerGitHub <noreply@github.com>
Tue, 24 Nov 2020 01:37:03 +0000 (17:37 -0800)
grep: update to 3.6


Trivial merge