tree 8ebae35ad6ce2eee5d5d22eca43a18844a268c7a
parent b6c43f61a42eca15a2f7ae6de2486ec94b2ded40
author Gilles Peskine <Gilles.Peskine@arm.com> 1596447349 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1596449085 +0200

Fix typos and copypasta

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