tree 0c109f459c1dfd97f32bd47392cbcc6b5f392936
parent 5c77f2ef377fac3ad979a0ea1d9e41e40852804a
parent e4d3b7f86074e32d907867d72ee52507b47b3457
author Gilles Peskine <Gilles.Peskine@arm.com> 1522830825 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1522830825 +0200

Merge branch 'pr_946' into development-proposed