tree ce2e0460fcf883c0ad347fd7069f325b4bcabb93
parent ac253ea32be3707169a175e1da857ebc1626ebfe
author Gilles Peskine <Gilles.Peskine@arm.com> 1635189246 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1635192920 +0200

Fix typo in documentation

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