commit | ca5b01b0a643bd363113a854e9180f5e059961b8 | [log] [tgz] |
---|---|---|
author | Treehugger Robot <treehugger-gerrit@google.com> | Mon Nov 12 22:29:32 2018 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Nov 12 22:29:32 2018 +0000 |
tree | 2cb34d5aea6032b6302899b58e5e41e666a8a2c0 | |
parent | c496db327ec1d741278d3df1af44da97053c4b25 [diff] | |
parent | b805adaa16856de865712ca40ba7e232228e2f3f [diff] |
Merge "Remove dead *_device types from system sepolicy."