tree fe9d471a73bad827c7e08da6affb828190a27472
parent afb15206b5cb91a84aa733e8c0a87dd206c83ddd
author Gilles Peskine <Gilles.Peskine@arm.com> 1669806436 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1669921012 +0100

More wording improvements

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