OSDN Git Service

Merge "Fix issue with slippery flag not being updated correctly" into pi-dev
authorWinson Chung <winsonc@google.com>
Thu, 24 May 2018 04:13:47 +0000 (04:13 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Thu, 24 May 2018 04:13:47 +0000 (04:13 +0000)

Trivial merge