tree 05edb6038f8b783bec3faf68293c606e4ce2f967
parent dad0832dc683efa147dc40c6856e2b74dcabcab6
parent bf7a98b791fe21f1ee5d553f4dfe1d1cbfe3ef8a
author Gilles Peskine <gilles.peskine@arm.com> 1551795723 +0100
committer GitHub <noreply@github.com> 1551795723 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJcfoYLCRBK7hj4Ov3rIwAAdHIIAB8A1ey2ZfxVLg8fhgGsWanY
 pex82BQ9hktO5rcrpadoxSvTzPBi9u1lIVm4tYFn/E11O280cI/32DX7VhKIOOfs
 VSm3lHg+64/2dYk09Pg07vOC2M/lhQzb20EpNSdoa+Ya1j7use5EOpd00RvHNVWa
 onslL5KS4lpP63kmsq3Lpqqf40lQtDgo5dg5I2vIFCh2Gmmovb+CjZfnABEKfaGu
 xvvBhVGnz4TwCe4Fy9VMQ8qWvriE6HTyAypn1BEMsN2/aMK8P1+9BQko5A4exHAr
 lniLHrFiY2ekiX/zBRv9vJ0Zs3Yx2Q74qxKi5mkvgYr2TDMK6eG6n29np+NsVyM=
 =/1zG
 -----END PGP SIGNATURE-----
 

Merge pull request #47 from gilles-peskine-arm/psa-api-1.0-beta-beta1_minor_fixes

Minor API specification fixes after 1.0beta1