tree d865f12595bc4ae13c286985575744254360a4a3
parent 1bf6123fca97a9a35c2f403ab0c96495f9580db6
parent 9c4f4038ddbf0b3999649385846a0b66623b6cbc
author Gilles Peskine <Gilles.Peskine@arm.com> 1520722318 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1520722318 +0100

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