Whitespace fix

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
Gilles Peskine 2021-06-15 21:22:48 +02:00
parent 399c8fad55
commit 0759cadddf