tree 9e5c022b88f0f004aab317952e1fc5c6db08ef9e
parent d389d1659abc1fb2e655a78be4c6d6cd23555fd3
parent 5ba093377c40a2ce976093d046f3723feae9c953
author Treehugger Robot <treehugger-gerrit@google.com> 1608574268 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1608574268 +0000

Merge "Revise keymint_tags.h"