Merge pull request #1023 from davidcunado-arm/dc/update_userguide
authordavidcunado-arm <david.cunado@arm.com>
Thu, 6 Jul 2017 14:25:15 +0000 (15:25 +0100)
committerGitHub <noreply@github.com>
Thu, 6 Jul 2017 14:25:15 +0000 (15:25 +0100)
Migrate to Linaro release 17.04


Trivial merge