Merge "Small speedup of ml_pruning_partition()"
authorHui Su <huisu@google.com>
Mon, 11 Jun 2018 18:07:18 +0000 (18:07 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Mon, 11 Jun 2018 18:07:18 +0000 (18:07 +0000)

Trivial merge