tree f7876bf774bb55fd1bcafacf25381b285a662997
parent cb1e5eb326a1a0262d422f3b83a90e16ef5ad796
parent 7a0c6b8e954a993386d349817cb055c59520f614
author Gilles Peskine <Gilles.Peskine@arm.com> 1516665493 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1516665493 +0100

Merge branch 'pr_1239' into development-proposed