tree 08dd126edde4678a19875924585ec24b070050ad
parent 1fae860f0f02a5fe9f966c8d7d4b96d62985f6c2
parent d6953b58d74fb721edf71c825355d76d93b64129
author Gilles Peskine <Gilles.Peskine@arm.com> 1522826052 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1522826052 +0200

Merge branch 'pr_1395' into development-proposed