From: Copybara-Service <copybara-worker@google.com>
Date: Mon, 24 Jul 2023 16:31:31 +0000 (-0700)
Subject: Merge pull request #4317 from mrfeod:patch-1
X-Git-Tag: v1.14.0~7
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=40412d85124f7c6f3d88454583c4633e5e10fc8c;p=googletest.git

Merge pull request #4317 from mrfeod:patch-1

PiperOrigin-RevId: 550585850
Change-Id: I727f74aeb6f1da5bbbf5a5f49f06c4cfea40a73b
---

40412d85124f7c6f3d88454583c4633e5e10fc8c