OSDN Git Service

am 96c5dd3c: am e7b63681: am 0535ed55: Merge "Fix bug #17393417 Developer Options...
authorFabrice Di Meglio <fdimeglio@google.com>
Thu, 4 Sep 2014 22:32:49 +0000 (22:32 +0000)
committerAndroid Git Automerger <android-git-automerger@android.com>
Thu, 4 Sep 2014 22:32:49 +0000 (22:32 +0000)
* commit '96c5dd3cc48457dfc8e50baf635136256af9f7ed':
  Fix bug #17393417 Developer Options are not indexed after activating them


Trivial merge