| commit | a814e6e0bd8c75288cbba3e9a1ae0a594e9d433c | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Wed Feb 21 16:36:29 2018 +0100 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Wed Feb 21 16:36:29 2018 +0100 |
| tree | 57b9d676cc969de945112f7b6c8c19cc0c85fde0 | |
| parent | 32605dc83042d737e715a685e53176388d73540e [diff] | |
| parent | 262eceb12e2bed0bb8fffb6320aa71a3e9716891 [diff] |
Merge branch 'pr_1293' into feature-opaque-keys