ref: 85aea16f176a83598586c72134df373069fe22ba
parent: 8a782c7eacb4756a6bc8af78592107ce28b8565c
parent: 0149fb3d6b24f1df7f215ca12a2d8c8f70fd64f3
author: Paul Wilkins <paulwilkins@google.com>
date: Wed Nov 18 06:10:13 EST 2015
Merge "Changes to exhaustive motion search."