Merge pull request #6729 from neheb/patch-28
authorHannu Nyman <hannu.nyman@iki.fi>
Thu, 16 Aug 2018 14:33:16 +0000 (17:33 +0300)
committerGitHub <noreply@github.com>
Thu, 16 Aug 2018 14:33:16 +0000 (17:33 +0300)
commit38ced675aa7a7316f7224be416e381b9b8f33ec8
tree07d808a61654883deb32dc9a260997b923c00336
parente972aca8e5c764c0cb53efb9711fb1f54a92f75b
parent5f01c1513748246f2f477066b79e2c2fa7a16e92
Merge pull request #6729 from neheb/patch-28

grep: Update to 3.1