Merge pull request #9156 from ammubhave/bump_re2
authorRosen Penev <rosenp@gmail.com>
Wed, 5 Jun 2019 15:59:08 +0000 (08:59 -0700)
committerGitHub <noreply@github.com>
Wed, 5 Jun 2019 15:59:08 +0000 (08:59 -0700)
libre2: Update to 2019-06-01


Trivial merge