tree b2a6687cc14e3574614c10860ed879ed5b0bf6ef
parent 7df8ba6a103bebf747d523ad77440c1c09f5cef0
author Gilles Peskine <Gilles.Peskine@arm.com> 1685967281 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1685967281 +0200

Copyediting

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