OSDN Git Service

[automerger skipped] Merge "Choose options format using property" into rvc-dev am...
authorTreeHugger Robot <treehugger-gerrit@google.com>
Wed, 8 Apr 2020 00:24:33 +0000 (00:24 +0000)
committerAutomerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
Wed, 8 Apr 2020 00:24:33 +0000 (00:24 +0000)
am skip reason: Change-Id Ib51071b7c316ce074de72439741087b18335048c with SHA-1 f56d553bab is in history

Change-Id: I3500b37255c57f5dd74307801e9833ea6bdea08d


Trivial merge