tree ee845d0ed7e3c93c0b9b77c276d8647762338433
parent 3dc9ac95ec7ab9fde365447be87600482c98762a
author Gilles Peskine <Gilles.Peskine@arm.com> 1656505792 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1656505792 +0200

More wording improvements

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