tree 8516344c07c58b7e8bffef4d87dc282de2c42715
parent a0f89f3f70c6bf2ebd7a33685b8ab0f08ad3679b
parent 0b311d26d0513a11f1234169677d0232614d572c
author Lorenzo Colitti <lorenzo@google.com> 1426745364 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1426745365 +0000

Merge "extensions: libxt_TEE: Trim kernel struct to allow deletion"