tree 9d64a129f01c547489871c2269f38a8fefb13a7d
parent 725f22a545c12b135bbd68ca42f4cefae40baf88
author Gilles Peskine <Gilles.Peskine@arm.com> 1564047165 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1564047165 +0200

Improve comments