tree eeb75e691c5ca32685d3a60b1204dd25cf51c9c2
parent b9e8696d56ce7326d3121a71314cf3570f764fca
parent 19d1373bb9d4cf581b65b4b82306bcd73e4a3242
author Gilles Peskine <Gilles.Peskine@arm.com> 1522830669 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1522830669 +0200

Merge remote-tracking branch 'upstream-public/pr/1535' into development-proposed