tree ae11eab6444dafe5ed20b3de1c1e435c959d5385
parent f77a6acf83875b02a489169ca6164c364983e5a5
author Gilles Peskine <Gilles.Peskine@arm.com> 1564044999 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1564044999 +0200

Improve alignment in comments