tree 85f081d1788c5192ec872d266be4ca28021a7f39
parent 65b548386f0ad8c451b04f470a474a74c4045317
author Gilles Peskine <Gilles.Peskine@arm.com> 1747130011 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1747130011 +0200

Grammar in comments

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