tree 7a7f0ba685953e3b6d4b26d69edafb3cacf23467
parent df29868bb615057eb75e7fd37e47dd0b702e2b54
parent 1d80a67869810d5cc07d9d2f55625cf3cc1378d4
author Gilles Peskine <Gilles.Peskine@arm.com> 1518621441 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1518621441 +0100

Merge branch 'pr_1219' into development-proposed