tree 7353fafe67d8d286ba2406857c62c4f80f5645a2
parent 30a303f1a8b856cfd6d44ad89754a018e49fb479
author Gilles Peskine <Gilles.Peskine@arm.com> 1707301336 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1707301336 +0100

Wording improvement

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