Merge pull request #7102 from ammubhave/add_libre2
authorRosen Penev <rosenp@gmail.com>
Mon, 29 Apr 2019 19:44:48 +0000 (12:44 -0700)
committerGitHub <noreply@github.com>
Mon, 29 Apr 2019 19:44:48 +0000 (12:44 -0700)
libre2: add re2 package


Trivial merge