tree e2347ba1767c5c166409ebd028c188d970eff75c
parent 5e9f14d4d988222aacb49b8eb15eedd266e9f147
author Gilles Peskine <Gilles.Peskine@arm.com> 1520724939 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1520724939 +0100

This fixes #664