tree ca9893ed7e8ad00b7e0539cea4fb4b5b15388286
parent 809696990583d74290af8274ada6bbd24090a17b
author Gilles Peskine <Gilles.Peskine@arm.com> 1558087481 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1567784151 +0200

Readability improvements

No indented semantic change.