commit | 12ee28322da50ee86484f401c70bd119cc4b4042 | [log] [tgz] |
---|---|---|
author | Eran Messeri <eranm@google.com> | Mon Jun 28 12:07:37 2021 +0100 |
committer | Eran Messeri <eranm@google.com> | Thu Jul 08 10:42:13 2021 +0100 |
tree | f1ec3cd5ade6260eeb4a957422939e03756d1b96 | |
parent | 4f53440f873254336389f8c9681a2dd8a8e11960 [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: I98b96cc8c49eb339a998d0abed9216aa57f6b19f Merged-In: I80ccaedeb777fdb249a8cb021db6628da32d6029