OSDN Git Service

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


Trivial merge