OSDN Git Service

Merge "Hide quicksetting tile for dev options when it's turned off" into pi-dev
authorTreeHugger Robot <treehugger-gerrit@google.com>
Tue, 20 Nov 2018 05:00:03 +0000 (05:00 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Tue, 20 Nov 2018 05:00:03 +0000 (05:00 +0000)

Trivial merge