tree fd4b7c4a806d4feeb748ffe3e710f33f32b273db
parent 99cb19ad00874b726d1ed19ef4b2767a6c5583b3
author Gilles Peskine <Gilles.Peskine@arm.com> 1716967984 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1716967984 +0200

Tweak wording

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