]> git-server-git.apps.pok.os.sepia.ceph.com Git - googletest.git/commitdiff
Merge branch 'master' of github.com:google/googletest
authorGennadiy Civil <misterg@google.com>
Wed, 17 Jul 2019 19:36:04 +0000 (15:36 -0400)
committerGennadiy Civil <misterg@google.com>
Wed, 17 Jul 2019 19:36:04 +0000 (15:36 -0400)

Trivial merge