OSDN Git Service

Merge "Fix bug #15434475 Developer Options do not show immediately after activating...
authorFabrice Di Meglio <fdimeglio@google.com>
Thu, 5 Jun 2014 00:42:08 +0000 (00:42 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Thu, 5 Jun 2014 00:42:08 +0000 (00:42 +0000)

Trivial merge