tree 3bb6fd4e109f589b90f6ec37ddc181f008759561
parent ce455ddb3e8c30fc66f8a0c60cc96f82ce9860d9
author Gilles Peskine <Gilles.Peskine@arm.com> 1613409715 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1614019241 +0100

Fix typo in documentation

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