diff options
| author | David Anderson <dvander@google.com> | 2019-04-02 14:05:20 -0700 |
|---|---|---|
| committer | android-build-merger <android-build-merger@google.com> | 2019-04-02 14:05:20 -0700 |
| commit | d7874a2fa957d819c22e5bdfb1f3ae2e3d20a3ad (patch) | |
| tree | 7e7ae771a19b5d47eacda89236c0132f7a292034 /trusty/coverage/coverage.cpp | |
| parent | 88b15b2b7c6e1a88bd2b691bf6f5728a6b3413c2 (diff) | |
| parent | 97d1fccd5b475e69eb42125f5999cd7c0af9481a (diff) | |
Merge "Fix device mapper name clashes on non-A/B devices."
am: 97d1fccd5b
Change-Id: Id47e289674eee3c17f0a267544e75cc48213fcb1
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions