Merge pull request #1621 from jts-arm/typos
authorSoby Mathew <soby.mathew@arm.com>
Thu, 11 Oct 2018 11:00:48 +0000 (12:00 +0100)
committerGitHub <noreply@github.com>
Thu, 11 Oct 2018 11:00:48 +0000 (12:00 +0100)
Various corrections of typos


Trivial merge