]> git-server-git.apps.pok.os.sepia.ceph.com Git - googletest.git/commitdiff
Merge pull request #4317 from mrfeod:patch-1
authorCopybara-Service <copybara-worker@google.com>
Mon, 24 Jul 2023 16:31:31 +0000 (09:31 -0700)
committerCopybara-Service <copybara-worker@google.com>
Mon, 24 Jul 2023 16:31:31 +0000 (09:31 -0700)
PiperOrigin-RevId: 550585850
Change-Id: I727f74aeb6f1da5bbbf5a5f49f06c4cfea40a73b


Trivial merge