tree 153eea26e48204b9034ff5ed75e9dc7e63046826
parent 35f057330fd3d5dfe4035de3d33daef018b05f04
author Gilles Peskine <Gilles.Peskine@arm.com> 1721322182 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1723027145 +0200

Fix copypasta

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