Merge "Changes to exhaustive motion search."
authorYaowu Xu <yaowu@google.com>
Wed, 9 Dec 2015 15:57:10 +0000 (15:57 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Wed, 9 Dec 2015 15:57:10 +0000 (15:57 +0000)

Trivial merge