tree 6e7aa4e37e4ff72703ac45b321cad00ce756baed
parent 773d412665d93334f19b76cda0c5e9ff836d7278
parent 930304829b2cadd3c88876c6234af702d1e43bd5
author Evgenii Stepanov <eugenis@google.com> 1434401168 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1434401168 +0000

Merge "Extend sepolicy for SANITIZE_TARGET."