| commit | ef742377065681d2f8b4995808a75020f55125d0 | [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 | f35b52ce8d5a17f7bf6a242cb5788506d21fa869 [diff] | |
| parent | 1ddc16f89049b888811d82d82ab1d90a20dd1a63 [diff] |
Merge pull request #1025 from davidcunado-arm/dc/version_update Release v1.4: Update minor version number to 4