OSDN Git Service

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


Trivial merge