| commit | b4bb59a9f464a3b8b034061bd0b6eaa9dadcbd6c | [log] [tgz] |
|---|---|---|
| author | TreeHugger Robot <treehugger-gerrit@google.com> | Wed Dec 18 05:21:37 2019 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Wed Dec 18 05:21:37 2019 +0000 |
| tree | 9b3c0db718f0efc1c2376bc0620b1bb18b205f2d | |
| parent | a07f13195b16238aaf30e9804c5ff115f145a9fd [diff] | |
| parent | 504df9427ef8c1f74e3037fc403f9c523d3c8c17 [diff] |
Merge "Removed the DEFAULT_USER_ID_TO_BOOT_INTO settings property - it's not used."