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)
commita9659f63927bdbaf79a08689309624f572e9d9fc
tree2fe303fe3d39821a3d60d6675bf58c442667cc15
parentb6e4d9c0ba582eb1a7ecdf0fa3b88da4519174b4
parentda4d6a5e4553c2d1c2554ca895986b4bd7fc4e71
Merge "Remove deprecated first_inter_index"