commit | 0c8c4a5d981adf700e21553cc471c734699e84b4 | [log] [tgz] |
---|---|---|
author | Sergio Giro <sgiro@google.com> | Wed Aug 31 13:51:37 2016 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Aug 31 13:51:37 2016 +0000 |
tree | e44bca38332a5d9866f71e3230c754d6b439db67 | |
parent | c7bd0d0adcec731e61ffbef47747803f7ca089b7 [diff] | |
parent | 6f285fa91efeb5e65d6218d3cb5b52ec17ad9752 [diff] |
Merge "java.security.Principal: add default method Principal#implies"