tree fb9d10bcbd91b5071460b5fb971193d0d86906aa
parent 3d67365ef76f1a891a6587c25aec7919d580424e
author Gilles Peskine <Gilles.Peskine@arm.com> 1611170410 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1611170410 +0100

Minor clarification

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