tree c2c7d5f9c9025b7345853f8d07bbeca930ebe79c
parent 0660747057ac13e7f0be299a2dda24d3e2138977
author Gilles Peskine <Gilles.Peskine@arm.com> 1579611591 +0100
committer Simon Butcher <simon.butcher@arm.com> 1584116625 +0000

Minor comment improvement