tree 0ceee598e5f11c64486b2f2502e1a89a00a07383
parent 1254e15e5013df9c62564b37ebb86f6e023e76ae
parent 050feb0153468b71c21710cb542bc19d07291793
author Tao Bao <tbao@google.com> 1536701581 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1536701581 +0000

Merge "minui: Track the name change to minui related properties."