| commit | dcb73d8299e402d296afd2b54cbd8483bc575652 | [log] [tgz] |
|---|---|---|
| author | Fabrice Di Meglio <fdimeglio@google.com> | Tue May 20 16:36:04 2014 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Tue May 20 16:36:04 2014 +0000 |
| tree | a82927ed4220a9909310a0feb965e3c7564eba02 | |
| parent | b654a07263e3b163fc1a58f7df717f2d2fb5c7f1 [diff] | |
| parent | 5f995727cc2e4bd27d26a50f3a565fb677fdb294 [diff] |
Merge "Fix bug #15080198 Enabling developer options requires restart of settings to enter"