tree 0c56fac7965dc3330fd47e9ccb438e480467cfac
parent d5f7d24e849b2a7f04a872c0d90d47e6020fcf81
parent a7f51f6e1ff8da886ed26dc8408e1b01f2869440
author Gilles Peskine <Gilles.Peskine@arm.com> 1520896207 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1520896207 +0100

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