tree 5786c59932bdc25284c0502d7342a73b12167586
parent e4220fef2f7bd686ebde8924025e6d6b6a37aba0
author Gilles Peskine <Gilles.Peskine@arm.com> 1710318783 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1710318783 +0100

Fix copypasta

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