Merge pull request #12433 from neheb/pcre2
authorRosen Penev <rosenp@gmail.com>
Thu, 18 Jun 2020 22:25:50 +0000 (15:25 -0700)
committerGitHub <noreply@github.com>
Thu, 18 Jun 2020 22:25:50 +0000 (15:25 -0700)
commit24498b855ad23dd1697bd8363266d4ff9558ca99
treed40f307ed3148bd9aea2ff714308e679cc0164d3
parentc9eabd7c08db880776d4223a103c71430c1a5af7
parent00c8e5b85fa00c870960434f7926c4b4ea23c8d5
Merge pull request #12433 from neheb/pcre2

pcre2: updater to 10.35