tree c5dcae4cd8fb05aab8d2150bf8d4cdb53207e157
parent 5664489a3174eb539a672e633e0f1e435cc11fe1
parent 0b0ee7af2f43776f08a4d560f59b9fbc1267b83b
author Treehugger Robot <treehugger-gerrit@google.com> 1555645782 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1555645782 +0000

Merge "Don't assume an A/B device when overriding the super partition name."