tree 60e96a28940d20aa1e2df49b8c86d6647fc395d9
parent 842edf474c7c4844dd28aab059b931b0793d276d
author Gilles Peskine <Gilles.Peskine@arm.com> 1630443575 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1630444135 +0200

Copyediting in comments

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