Merge branch 'master' of https://chromium.googlesource.com/chromiumos/third_party/rootdev
A partitioning tool.