tree 28d95d0c28477e8f02ec7fe478d88cc9e3f814b5
parent e842e58f61da961b57b9a462c6d094d20f122a7b
author Gilles Peskine <Gilles.Peskine@arm.com> 1622661456 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1622736604 +0200

Fix long-standing obsolete comment

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