Merge pull request #1875 from google/9A681768AABE08D1EFA5CA77528236A4

Googletest export
This commit is contained in:
Gennadiy Civil 2018-10-01 14:53:59 -04:00 committed by GitHub
commit 2e91bbcf6f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23