Merge pull request #736 from davidcunado-arm/dc/v1.3_update
authordavidcunado-arm <david.cunado@arm.com>
Thu, 13 Oct 2016 16:48:29 +0000 (17:48 +0100)
committerGitHub <noreply@github.com>
Thu, 13 Oct 2016 16:48:29 +0000 (17:48 +0100)
Release v1.3: Minor updates to user guide


Trivial merge