tree 1586b067f446cac0fff8ae97d79183b6c400bb4c
parent e109175d054f7eca5f614e44437a9694378514c6
author Gilles Peskine <Gilles.Peskine@arm.com> 1623784968 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1624358841 +0200

Whitespace fix

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