commit | b762fc7481c66b64eb98b6ff694d569e66253973 | [log] [tgz] |
---|---|---|
author | davidcunado-arm <david.cunado@arm.com> | Fri Jul 07 22:12:10 2017 +0100 |
committer | GitHub <noreply@github.com> | Fri Jul 07 22:12:10 2017 +0100 |
tree | eb7af7f5eb5d3874797a278adcbf3bb7e1cbc618 | |
parent | 32b011b2614e7ced4b9836b4f9026c9aca728bde [diff] | |
parent | 07f2178a9d8ad2569f873b77fd1d54cd5bad2447 [diff] |
Merge pull request #1025 from davidcunado-arm/dc/version_update Release v1.4: Update minor version number to 4