tree d372154b25cef582d0f941ecba0fe5f49a8ca509
parent 9130b5b774605cd52562c93aca3ab2a4a3a9609a
author Gilles Peskine <Gilles.Peskine@arm.com> 1631212787 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1644919193 +0100

Fix indentation

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