tree 612ed7d6bf7fec8159465fd10709d71ff070dee5
parent a56d3d9e758e27ba529ea6be561dc716bf5d3ce3
author Gilles Peskine <Gilles.Peskine@arm.com> 1607039294 +0100
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1607332110 +0100

Clarifying comment

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