tree 3c6e97c05bb146bc84f0a7bbdf1f73da93cd291d
parent f3cc9d925f3ee4716409367ef509d1591bc57c73
author Gilles Peskine <Gilles.Peskine@arm.com> 1669801039 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1669921012 +0100

Wording clarification

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