tree d87bb14eb27ab9d7333990253cf4c34ca4887d85
parent 13678d251f17204b18cefd923b847937d8ab13f2
parent 6dc4a319884d03d967bb00eac3b0d81e7a3d66e1
author Gilles Peskine <Gilles.Peskine@arm.com> 1520896409 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1520896409 +0100

Merge branch 'pr_679' into development-proposed