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)
* commit 'a1c6288b137e4babbf1da3bc3a573a106e7a939d':


Trivial merge