tree 810107476a6319cc59b45c6cdc969fffdc28c780
parent 1d7cc08af1c87c0f5754b466466ddcf24408e0c7
author Gilles Peskine <Gilles.Peskine@arm.com> 1668181011 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1668181011 +0100

Fix typo and copypasta

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>