tree 497fe6088ee12d2c81953bf149cd67572879e96f
parent 0b02002fec185d5c1e2f96e9b570709335417aeb
author Gilles Peskine <Gilles.Peskine@arm.com> 1549986440 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1549986440 +0100

Minor clarifications