tree ac6f8832c5a5ded4bc72db35868fa3a25e663fce
parent 5619443bf1db8e6da2b8d6b6877b1f9321075774
author Gilles Peskine <Gilles.Peskine@arm.com> 1675292896 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1675292896 +0100

Fix indentation

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