OSDN Git Service

Merge "Add option for settings to push to a device index" into pi-dev
authorJason Monk <jmonk@google.com>
Fri, 23 Mar 2018 16:59:20 +0000 (16:59 +0000)
committerandroid-build-merger <android-build-merger@google.com>
Fri, 23 Mar 2018 16:59:20 +0000 (16:59 +0000)
commit5411c21ddea76baf68c506b0eb4ae3bd5f014b50
treec4001da6559126d428c55b28933eebe3e9964f02
parent28d6fd6be83dce6b71cbc8281364be7b1d16e42a
parentf9c6bc59aee0112039a739096d1cb80dd9022a35
Merge "Add option for settings to push to a device index" into pi-dev
am: f9c6bc59ae

Change-Id: I150401825889647386877cd5e674a6a0378995f6