Merge "configure.sh: Improve a comment." into main
authorJames Zern <jzern@google.com>
Tue, 20 Jun 2023 20:06:32 +0000 (20:06 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Tue, 20 Jun 2023 20:06:32 +0000 (20:06 +0000)
commit14e52008edbf2e91386423fdd53310fe49654991
tree48656f1a6ab823f9c1cb3076946762728eb43bc3
parent74e8c774257cbb65d4657be83c2ceaf68305f83a
parentaf40910197bb4cd24fe2f5870c386843cced70c2
Merge "configure.sh: Improve a comment." into main