OSDN Git Service

Merge "Add option for settings to push to a device index" into pi-dev am: f9c6bc59ae
authorJason Monk <jmonk@google.com>
Fri, 23 Mar 2018 17:08:10 +0000 (17:08 +0000)
committerandroid-build-merger <android-build-merger@google.com>
Fri, 23 Mar 2018 17:08:10 +0000 (17:08 +0000)
am: 5411c21dde

Change-Id: I48ecc5d6e892a8662d5f0ad019579d6d2396c18a


Trivial merge