tree a6fce879214bc9485126df9d131d75b42518cdae
parent 4813f15ce5e080385fce5302b2bc3235b263d5c0
parent b053efb2954a954415369b42a9249282ec401876
author Gilles Peskine <Gilles.Peskine@arm.com> 1513707627 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1513707627 +0100

Merge remote-tracking branch 'upstream-restricted/pr/433' into development-restricted