| commit | 504df9427ef8c1f74e3037fc403f9c523d3c8c17 | [log] [tgz] |
|---|---|---|
| author | Felipe Leme <felipeal@google.com> | Tue Dec 10 08:38:48 2019 -0800 |
| committer | Felipe Leme <felipeal@google.com> | Tue Dec 17 15:28:02 2019 -0800 |
| tree | 393b769048b82aecf1eae29e49e6446dde165fea | |
| parent | 04eaf14fc9a00752ef98e87373b23b202e937dca [diff] |
Removed the DEFAULT_USER_ID_TO_BOOT_INTO settings property - it's not used. Bug: 145985988 Test: echo 'in TH we trust!' Change-Id: I816e35e080d40b1d867293fa1967bc622caf9398