commit | e639bbd7d0be40e7ee6d71885050c3fa51a5bf65 | [log] [tgz] |
---|---|---|
author | Sergio Giro <sgiro@google.com> | Wed Aug 31 14:09:42 2016 +0000 |
committer | android-build-merger <android-build-merger@google.com> | Wed Aug 31 14:09:42 2016 +0000 |
tree | e44bca38332a5d9866f71e3230c754d6b439db67 | |
parent | 8a5790a287a0ec8d12c65ce59accfa1bf70f3327 [diff] | |
parent | 0c8c4a5d981adf700e21553cc471c734699e84b4 [diff] |
Merge "java.security.Principal: add default method Principal#implies" am: 0c8c4a5d98 Change-Id: I4708b9cee5059b588e829853264484782e251efb