From: TreeHugger Robot Date: Tue, 20 Nov 2018 05:00:03 +0000 (+0000) Subject: Merge "Hide quicksetting tile for dev options when it's turned off" into pi-dev X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=4c16ad5abf51444891ff43947bafcbae3f3379c4;p=android-x86%2Fpackages-apps-Settings.git Merge "Hide quicksetting tile for dev options when it's turned off" into pi-dev --- 4c16ad5abf51444891ff43947bafcbae3f3379c4