ref: 5ed83c32201ca5ba4992b2a7350ed02df0d8bf92
parent: 2e7d3277892d27a7598ea5b27251b0346e84ee19
parent: 22a3e30790d141033778e430a47ba7d558237362
author: Dmitry Kovalev <dkovalev@google.com>
date: Wed Apr 9 06:27:05 EDT 2014
Merge "Converting set_prev_mi() to get_prev_mi()."