OSDN Git Service

Merge "Choose options format using property" into rvc-dev am: 0fbd0c1542
authorTreeHugger Robot <treehugger-gerrit@google.com>
Wed, 8 Apr 2020 00:24:40 +0000 (00:24 +0000)
committerAutomerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
Wed, 8 Apr 2020 00:24:40 +0000 (00:24 +0000)
Change-Id: I2d891dd6a28c8f599b68a5df840d0d331fc1c440


Trivial merge