tree fc26bd6c556230b7411bb5a4625802122fdfef70
parent e43aa39397d3c44e909413cb65a7b73c57a39b28
author Gilles Peskine <Gilles.Peskine@arm.com> 1548176176 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1548176176 +0100

Style fix