tree 60f2d683c092ce8e49a732033638300cda9bb249
parent e1bba7ce481bfb06e059d1aad5efee50945fb451
author Gilles Peskine <Gilles.Peskine@arm.com> 1615416268 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1615416268 +0100

Cosmetic improvement

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