tree 514af0080faa0ceb66b1bcebc87db474dde933c5
parent 94f7e409eb83e352924e69ac0a587aa5153648ae
author Gilles Peskine <Gilles.Peskine@arm.com> 1727192004 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1727192004 +0200

Fix copypasta

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