tree d1d062322ac5eb233546ff87e3a4be70a66a77fb
parent 89458d1420bd3ccefbc0c4a2a6e037e1a274ccea
author Gilles Peskine <Gilles.Peskine@arm.com> 1632816769 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1632816769 +0200

Fix typo

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