tree fed3c2e0aa6a63de6ccbb6cd00b7c94425fe40c8
parent 20a77aeac728f0d0529cae4261093f149e1593ce
author Gilles Peskine <Gilles.Peskine@arm.com> 1558020293 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1558029071 +0200

Grammar fix