tree 45fdb426241b705e639ed43a6bfadf7d6f919dbb
parent 5d01cc04a0d8fcea8119d57a789b8c41409a45cd
author Gilles Peskine <Gilles.Peskine@arm.com> 1664470121 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1665754446 +0200

Documentation typo

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