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