Merge pull request #1316 from davidcunado-arm/dc/version_update
authordanh-arm <dan.handley@arm.com>
Tue, 20 Mar 2018 16:50:44 +0000 (16:50 +0000)
committerGitHub <noreply@github.com>
Tue, 20 Mar 2018 16:50:44 +0000 (16:50 +0000)
commit8f3418b92fc60a5c8df4e2b400d6f1cbfbc6e4e4
tree58c82aa4d01e6ab8edf355acf9822e8dda04d870
parentcefa8c439098efa9b9d09ff17d642276fac17447
parent4a577f96288f135ad0eefe8ba1288ac7ffa70ebe
Merge pull request #1316 from davidcunado-arm/dc/version_update

Release v1.5: Update minor version number to 5