ref: c530208ae3cc0cb6835aeaa8e9ceb7edb37f40f0
parent: b35f64241f0628987db592b5936dde58ca30b0db
parent: bca4564683a35c795973ce2a318cc4f1391f9bbb
author: Yunqing Wang <yunqingwang@google.com>
date: Mon Apr 24 13:41:10 EDT 2017
Merge "Make allow_exhaustive_searches feature no longer adaptive"