]> git-server-git.apps.pok.os.sepia.ceph.com Git - googletest.git/commitdiff
Merge branch 'google:main' into fix_unused-variable_warning
authorGaspard Petit <gaspardpetit@gmail.com>
Tue, 31 May 2022 02:00:02 +0000 (22:00 -0400)
committerGitHub <noreply@github.com>
Tue, 31 May 2022 02:00:02 +0000 (22:00 -0400)

Trivial merge