diff options
author | Dan Albert <danalbert@google.com> | 2021-04-28 00:54:47 +0000 |
---|---|---|
committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | 2021-04-28 00:54:47 +0000 |
commit | 7b3a4124e50b96b4c3abe1dfa5fab77e28b33bea (patch) | |
tree | eb1b6622bb33a51fd48430de7900c04e62c6a25b /patches/Android.bp.patch | |
parent | 0bfcaa4c6e4498ec5015d6e2c7f3800a956f2004 (diff) | |
parent | 1432fccf1f2154a2008121a504f411f65ddde5af (diff) | |
download | untrusted-7b3a4124e50b96b4c3abe1dfa5fab77e28b33bea.tar.gz |
Merge "Allow lint not compatible with this version." am: 1432fccf1f
Original change: https://android-review.googlesource.com/c/platform/external/rust/crates/untrusted/+/1662921
Change-Id: I15b6fbb433463f0bd6b3d849562386be572f1ee0
Diffstat (limited to 'patches/Android.bp.patch')
0 files changed, 0 insertions, 0 deletions