Merge pull request #1025 from davidcunado-arm/dc/version_update
authordavidcunado-arm <david.cunado@arm.com>
Fri, 7 Jul 2017 21:12:10 +0000 (22:12 +0100)
committerGitHub <noreply@github.com>
Fri, 7 Jul 2017 21:12:10 +0000 (22:12 +0100)
Release v1.4: Update minor version number to 4


Trivial merge