tree 1b4e5f670cedc902a16156873e1a5c02f3fdeeaa
parent 7962284f78d9b86c4e5e382be5dbab77890a8e82
author Gilles Peskine <Gilles.Peskine@arm.com> 1614590420 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1617022544 +0200

Fix copypasta

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>