| commit | 270420b18f51570cf6e67749316f65c96a046216 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <gilles.peskine@arm.com> | Tue Mar 05 15:22:03 2019 +0100 |
| committer | GitHub <noreply@github.com> | Tue Mar 05 15:22:03 2019 +0100 |
| tree | 05edb6038f8b783bec3faf68293c606e4ce2f967 | |
| parent | dad0832dc683efa147dc40c6856e2b74dcabcab6 [diff] | |
| parent | bf7a98b791fe21f1ee5d553f4dfe1d1cbfe3ef8a [diff] |
Merge pull request #47 from gilles-peskine-arm/psa-api-1.0-beta-beta1_minor_fixes Minor API specification fixes after 1.0beta1