tree 7fa400096d982194babf7dbbcae430e4c812a040
parent ec2278bdd460e487ad0cdb13d8a7bfadc803d3bc
author Gilles Peskine <Gilles.Peskine@arm.com> 1728640844 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1728640844 +0200

Minor readability improvements

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