| commit | 247842c0d62e013e6864c552327d807842e0ec71 | [log] [tgz] |
|---|---|---|
| author | Jaeden Amero <jaeden.amero@arm.com> | Thu Feb 14 11:20:13 2019 +0000 |
| committer | GitHub <noreply@github.com> | Thu Feb 14 11:20:13 2019 +0000 |
| tree | 93a1e0003a6b9e10eb46e66d17c83c2c91ef01b6 | |
| parent | 2d7e5fe31da55d47748d259d11c08800261a4fd1 [diff] | |
| parent | c4cd2adae8df60d1992f5d4c9397af5ff35e0914 [diff] |
Merge pull request #56 from gilles-peskine-arm/psa_constant_names-status_is_signed psa_constant_names: status is signed