tree e7114419180da17c42216218d9f23216a77998c4
parent b3ea98c60629124ab8b96dad012b7c45b944cdd9
author Gilles Peskine <Gilles.Peskine@arm.com> 1664470121 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1664470121 +0200

Documentation typo

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