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:53:12 +0000 (21:53 -0800)
committerandroid-build-merger <android-build-merger@google.com>
Wed, 21 Nov 2018 05:53:12 +0000 (21:53 -0800)
am: 1c5a636e17  -s ours

Change-Id: Ie5a937f3e695d63ff12044a40fc902a7f03882c7


Trivial merge