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