tree 8f4438dcd81e24494a3e8c3a4fb70411b355494a
parent cd2d648b002cd857396d737b1e841aa904c13055
author Gilles Peskine <Gilles.Peskine@arm.com> 1613490582 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1613490582 +0100

Minor clarification in the public documentation

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