tree e312722849ae13168238d7edae1be7481ca4362e
parent ccc82eca9a9b63f43c69472c0841954f19f7a7f0
parent e853e96b40a77a1c89779d9bddd612622f04a62d
author Tao Bao <tbao@google.com> 1427846161 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1427846162 +0000

Merge "always use volume mount option when mounting a partition"