tree 0994a82abeef98aeb505494509f5301066b2e435
parent 2e4062ce179a62b015ea42ff0e28baf483ad9524
author Gilles Peskine <Gilles.Peskine@arm.com> 1599464596 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1599464596 +0200

Fix formatting glitch

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