commit | af3b6fe12d495bbd1969f7486fbd895177dd5e0d | [log] [tgz] |
---|---|---|
author | Gilles Peskine <gilles.peskine@arm.com> | Thu Sep 21 12:52:44 2023 +0000 |
committer | GitHub <noreply@github.com> | Thu Sep 21 12:52:44 2023 +0000 |
tree | 856948397bf366e7c356411a2cd5ec9d50db06ba | |
parent | 5edb9427086a4cdc8e567bb8069db9d09a58e21b [diff] | |
parent | 67cf66b4278273453f4efb68d7049b8ac0b7b6b3 [diff] |
Merge pull request #8232 from gilles-peskine-arm/rename-p256m-config Rename p256m configuration option