tree 7f1a5d3227d2142564c02a3e141f0a408c4b0261
parent ba132f19013370eb644101d831534caa864999ea
parent 5cbd2e43ee2a085cdb71738fcd0984278ffc9dd4
author Treehugger Robot <treehugger-gerrit@google.com> 1538681374 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1538681374 +0000

Merge "Don't hardcode the super partition name."