tree 8040914efb28659b9de8cda1271414a01b43929a
parent 754768262b1aa164f408efc738d50748da67d7a9
parent 08af538ec90af91d530d34ddc129d386f68ebe8e
author Gilles Peskine <Gilles.Peskine@arm.com> 1520724081 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1520725510 +0100

Merge branch 'pr_1407' into development-proposed