OSDN Git Service

Merge "GPS metrics collection" into pi-dev
authorTreeHugger Robot <treehugger-gerrit@google.com>
Wed, 21 Mar 2018 00:07:03 +0000 (00:07 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Wed, 21 Mar 2018 00:07:03 +0000 (00:07 +0000)

Trivial merge