Merge "Remove deprecated first_inter_index"
authorJingning Han <jingning@google.com>
Thu, 13 Sep 2018 16:19:46 +0000 (16:19 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Thu, 13 Sep 2018 16:19:46 +0000 (16:19 +0000)

Trivial merge