tree bdfd7d974ae257ad9e6f3e829fdeb6732ddbed79
parent 12ab5d4cfbd30b6b298c3d8c92fe162670aa0676
author Gilles Peskine <Gilles.Peskine@arm.com> 1524567939 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1524729639 +0200

Style and grammar fixes