tree 09a15c934c8b57fa5f47a203673c7f4e497bc597
parent 0cd9ab71075947e65d41370b62d3c5536ceaa331
author Gilles Peskine <Gilles.Peskine@arm.com> 1678968498 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1678968498 +0100

Fix typo in comment

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