tree 9678ae3bbbc6b3e3f85924483fa1ef99b8016b88
parent 34ba06fac80b09052e9d3d30c7e8eba34bafc783
parent 2f73c9342fd9d31728c0bf4fb34266fdcc489a88
author Gilles Peskine <Gilles.Peskine@arm.com> 1520723434 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1520725510 +0100

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