Merge "Disable allow_partition_search_skip feature" into main
authorYunqing Wang <yunqingwang@google.com>
Sun, 25 Jul 2021 22:42:59 +0000 (22:42 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Sun, 25 Jul 2021 22:42:59 +0000 (22:42 +0000)

Trivial merge