tree 4e1c5133b53b5db29dc0c861cccfd3799c5e824a
parent cf0074b2c8175660f21985cbd0513d2a022e94a3
author Gilles Peskine <Gilles.Peskine@arm.com> 1670322309 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1670322309 +0100

More grammar fixes

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