OSDN Git Service

[automerger skipped] Merge "Hide quicksetting tile for dev options when it's turned...
authorFan Zhang <zhfan@google.com>
Wed, 21 Nov 2018 05:40:53 +0000 (21:40 -0800)
committerandroid-build-merger <android-build-merger@google.com>
Wed, 21 Nov 2018 05:40:53 +0000 (21:40 -0800)
am: 4c16ad5abf  -s ours

Change-Id: I7a8f95eda10b14e0fd067a15dae38cd3751566f2


Trivial merge