diff options
author | Christopher Ferris <cferris@google.com> | 2020-10-22 07:21:02 +0000 |
---|---|---|
committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2020-10-22 07:21:02 +0000 |
commit | 625e74156148a85a1c4b2d996ab99de0ab6632ca (patch) | |
tree | 8123a92093d06fe36b12c9ad8d8d74bb72978519 /trusty/coverage/coverage_test.cpp | |
parent | 7c65ec5aca1bf69695c3b8e35b8b36915c7d32db (diff) | |
parent | 988995e6e19a17c29265331c8baf941af209d859 (diff) |
Merge "Update for new kernel headers." am: 758e52551f am: 988995e6e1
Original change: https://android-review.googlesource.com/c/platform/system/core/+/1466035
Change-Id: I90cb2e351d97df0602ce6bf30e1e69ae6a7a02e4
Diffstat (limited to 'trusty/coverage/coverage_test.cpp')
0 files changed, 0 insertions, 0 deletions