OSDN Git Service

Merge "Protect against multiple starts of device index job" into pi-dev
authorTreeHugger Robot <treehugger-gerrit@google.com>
Mon, 14 May 2018 18:31:42 +0000 (18:31 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Mon, 14 May 2018 18:31:42 +0000 (18:31 +0000)

Trivial merge