| commit | 998023f573647c22872869d9095b9f781018b356 | [log] [tgz] |
|---|---|---|
| author | Treehugger Robot <treehugger-gerrit@google.com> | Wed Dec 16 03:50:14 2020 +0000 |
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | Wed Dec 16 03:50:14 2020 +0000 |
| tree | 1782fb3bcd1100e313008796a65c175e03f2938c | |
| parent | 878d2bd7ec4c39401f41b2d1acfa067c8c6d7e26 [diff] | |
| parent | ff3856d3dca44326f58c263a306a52aa3070609e [diff] |
Merge "Delete unused header." am: ff3856d3dc Original change: https://android-review.googlesource.com/c/platform/system/keymaster/+/1530453 MUST ONLY BE SUBMITTED BY AUTOMERGER Change-Id: I8f4a8f18b7cf7d13020916cc20354bab617a7bb3