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:53 +0000 (22:20 +0000)
committerAndroid Git Automerger <android-git-automerger@android.com>
Thu, 4 Sep 2014 22:20:53 +0000 (22:20 +0000)
commite7b63681b2b328df4b885047f28f1681edcff356
treec32108e93e4589486bf77869b7f1523eb18e1fbb
parentf4040b3cd138fcba53b9b122ab14decefc5b67a7
parent0535ed559eca51cce107309d05a3858ae48f5f20
am 0535ed55: Merge "Fix bug #17393417 Developer Options are not indexed after activating them" into lmp-dev

* commit '0535ed559eca51cce107309d05a3858ae48f5f20':
  Fix bug #17393417 Developer Options are not indexed after activating them