tree 04b3654689463c2c3c4f60974550d489c64aa8bb
parent 3f61363f8d97eb96f4fe9171070b000612ddfdb9
author Gilles Peskine <Gilles.Peskine@arm.com> 1622661456 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1622662771 +0200

Fix long-standing obsolete comment

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