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 e109175d05
commit 2aa3f16512