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 7ff0a4e515