ref: 09e0b38a861ded62e2b44eaa72a06c8efb879ebe
parent: 51d529a5786ef5654ac318c14971eb6857c420e3
parent: 7cf383d17f41d570deb4d5d2c9153b080483fcc2
author: Jingning Han <jingning@google.com>
date: Mon Mar 16 07:52:12 EDT 2015
Merge "Fix indent in choose_partitioning"