Merge pull request #1881 from sandrine-bailleux-arm/sb/doc-fixes
authorSoby Mathew <soby.mathew@arm.com>
Wed, 13 Mar 2019 15:33:36 +0000 (15:33 +0000)
committerGitHub <noreply@github.com>
Wed, 13 Mar 2019 15:33:36 +0000 (15:33 +0000)
Minor doc fixes


Trivial merge