OSDN Git Service

am a1c6288b: am 0535ed55: Merge "Fix bug #17393417 Developer Options are not indexed...
authorFabrice Di Meglio <fdimeglio@google.com>
Mon, 15 Sep 2014 23:55:30 +0000 (23:55 +0000)
committerAndroid Git Automerger <android-git-automerger@android.com>
Mon, 15 Sep 2014 23:55:30 +0000 (23:55 +0000)
commit3ef7e17becd8b5335e1357d517b5d67cd96d982f
tree676a23881b3968eb73e9d64f7d62cfd0400950ab
parentdd476d1629d8282289c55230083658c354a4c043
parenta1c6288b137e4babbf1da3bc3a573a106e7a939d
am a1c6288b: am 0535ed55: Merge "Fix bug #17393417 Developer Options are not indexed after activating them" into lmp-dev

* commit 'a1c6288b137e4babbf1da3bc3a573a106e7a939d':