tree ed33e29e793929f7ea5c862573e15200915ad49d
parent fd6d27945236516d50e2279ae6a2d93bec54d04d
author Gilles Peskine <Gilles.Peskine@arm.com> 1727192004 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1727197333 +0200

Fix copypasta

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