ref: 7f29d22e510b25f96fd38f17ff44ed39bda4739a
parent: f6bf5f55baa8bd30126b297940385105e72d93ad
parent: 49866baae60f863d36ca42f40ff4fddd987461cc
author: Pengchong Jin <pengchong@google.com>
date: Wed Jul 30 09:35:02 EDT 2014
Merge "Early termination after partition NONE is done in RD."