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)
pcre2: updater to 10.35


Trivial merge