tree 29d12db7228efdfc5482992ad3b3d4ec37d0d791
parent 1c0c5d2a625e2758fa31d2914cad1a6429f50c61
author Simon Butcher <simon.butcher@arm.com> 1521046936 +0000
committer Minos Galanakis <minos.galanakis@arm.com> 1695647540 +0100

Fix formatting and detail of comments in PR #730

Signed-off-by: Simon Butcher <simon.butcher@arm.com>