diff options
| author | Treehugger Robot <treehugger-gerrit@google.com> | 2021-02-18 00:29:57 +0000 |
|---|---|---|
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2021-02-18 00:29:57 +0000 |
| commit | ea93f320e0af6593d109f18e6ca1482641ce6f84 (patch) | |
| tree | 1f2379830bdd466ba7b079a0e1fa4796b6f4979b /trusty/coverage/coverage_test.cpp | |
| parent | b279febaf3db27511e65f0b84bcc06b17b3f495c (diff) | |
| parent | 7fda18011c59819080801b41f4d98dc9e77219d4 (diff) | |
Merge "Gatekeeper: Add missing user_id." am: 5edcb8a3d6 am: 693ee75fde am: 7fda18011c
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1586506
MUST ONLY BE SUBMITTED BY AUTOMERGER
Change-Id: I7b55d69ba73d60374a3a619b3186733881bf0792
Diffstat (limited to 'trusty/coverage/coverage_test.cpp')
0 files changed, 0 insertions, 0 deletions