tree e8d316adc6ce93552f6d2053e8fa87e6eae2ff31
parent b3f4dd5c814de9a7171981c90129f9ac3d403808
author Gilles Peskine <Gilles.Peskine@arm.com> 1637175613 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1637175613 +0100

Update comment

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