Merge pull request #244 from forresti/fix-comment
authorAnthony Barbier <Anthony.barbier@arm.com>
Mon, 23 Oct 2017 17:28:30 +0000 (18:28 +0100)
committerGitHub <noreply@github.com>
Mon, 23 Oct 2017 17:28:30 +0000 (18:28 +0100)
fix comment


Trivial merge