tree 14e4fa4a7b29fff9d5a59d8599150386c7988a89
parent bee96c8db9fe118578b5677abdcebe90cdda7a89
author Gilles Peskine <Gilles.Peskine@arm.com> 1606734114 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1606734114 +0100

Copyediting

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