tree 8467e0c8bb66e45529f2a14822fc0a04c6d8ee74
parent 787c79dc1a39eddf32243d55547cbc5b0e3f8b6a
author Gilles Peskine <Gilles.Peskine@arm.com> 1669757984 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1669921007 +0100

Improve wording, punctuation, etc.

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