Cosmetic improvement

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
Gilles Peskine 2021-03-10 23:44:28 +01:00
parent e1bba7ce48
commit b76517b764