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:37:21 +0000 (00:37 +0000)
committerAutomerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
Wed, 8 Apr 2020 00:37:21 +0000 (00:37 +0000)
am skip reason: Change-Id Ib51071b7c316ce074de72439741087b18335048c with SHA-1 4073c0b524 is in history

Change-Id: I6231b7fd4136dba927e62566ca75cc84a6d0e376


Trivial merge