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)

Trivial merge