tree 05e1f264dfc2853e1c0756a1167cc1576ba5bee9
parent 02550f47e9ba023cc8158b66ec882eb7dc5ad099
parent 0cb770973c734d51a78b0ae85c48279704107b09
author Gilles Peskine <Gilles.Peskine@arm.com> 1519307356 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1519307356 +0100

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