tree 231e1516e92292e64df1dd32e7c9dc4239f98701
parent 5472242b67361885f2e6d87a4bf155771294a5ad
author Gilles Peskine <Gilles.Peskine@arm.com> 1677185759 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1682530802 +0200

Fix wrong comment

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