tree 44d91b0266ea270c6a9869b323dbe74f5629c5bf
parent 1ac9aa70852d67b71797d7bbcd97152b11c26334
author Gilles Peskine <Gilles.Peskine@arm.com> 1520724939 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1520725862 +0100

This fixes #664