| commit | 7c046786b865d3131377ab015acbc15529cf8ba8 | [log] [tgz] |
|---|---|---|
| author | Eran Messeri <eranm@google.com> | Mon Jun 28 12:07:37 2021 +0100 |
| committer | Eran Messeri <eranm@google.com> | Tue Jul 06 10:46:57 2021 +0100 |
| tree | f365419fc9121de64e5371ba399602a26db2bbe3 | |
| parent | f4c8ff9bef34092787e97149e38cd1bb052635c8 [diff] |
Annotate some TODOs There are two tags that cannot be currently removed but should be removed in KeyMint V2. Mark them as deprecated and point to the bug for deletion. Bug: 183737811 Test: That it compiles. Change-Id: I80ccaedeb777fdb249a8cb021db6628da32d6029