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 19:09:25 +0000 (12:09 -0700)
committerandroid-build-merger <android-build-merger@google.com>
Thu, 24 May 2018 19:09:25 +0000 (12:09 -0700)
am: 6450335b56

Change-Id: If81769bf6e7911be9e16a2a092cff43b345dedce


Trivial merge