OSDN Git Service

Merge "Fix bug #15080198 Enabling developer options requires restart of settings...
authorFabrice Di Meglio <fdimeglio@google.com>
Tue, 20 May 2014 16:36:04 +0000 (16:36 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Tue, 20 May 2014 16:36:04 +0000 (16:36 +0000)

Trivial merge