| commit | 016e850921e7be7212d27c39d461fa267eae5c57 | [log] [tgz] |
|---|---|---|
| author | Sergio Giro <sgiro@google.com> | Wed Aug 31 14:21:41 2016 +0000 |
| committer | android-build-merger <android-build-merger@google.com> | Wed Aug 31 14:21:41 2016 +0000 |
| tree | da00d91703a911be7f654cb1b21dff3716a0c158 | |
| parent | 22b8317a4944e9fd1e58fe8c9597e9affa49ecc3 [diff] | |
| parent | 61c0996d6f562ffefdacdb6aaf1142a917d9b255 [diff] |
Merge "java.security.Principal: add default method Principal#implies" am: 0c8c4a5d98 am: e639bbd7d0 am: 61c0996d6f Change-Id: I4ea45e1007f5bbbd086d200f5be9227a03eab44d