tree 8233ce9559fb950060f9ef21b4b1cd9041ee55ee
parent 69845ed00d906ccc871d58b8e37af587660cff0b
parent e9124b943da5c30899cc75294f390d46ea23c995
author Gilles Peskine <Gilles.Peskine@arm.com> 1520894708 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1520894708 +0100

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