tree 3774bf9abd3b824dfdd1754be88f3a45b5cb9792
parent 013f5474cfc639412d787246b5af45a971e0493e
author Gilles Peskine <Gilles.Peskine@arm.com> 1565194786 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1565254689 +0200

Fix copypasta