commit | c3d1b0ad5f79dd8b6a1ce20f5c6fcff372afeee7 | [log] [tgz] |
---|---|---|
author | davidcunado-arm <david.cunado@arm.com> | Thu Jul 06 18:07:35 2017 +0100 |
committer | GitHub <noreply@github.com> | Thu Jul 06 18:07:35 2017 +0100 |
tree | a6b4cddbe6ba1f331f06de70b865340cd8bef403 | |
parent | 2e4383238debbdd488906c3281f9e624dd6e0525 [diff] | |
parent | aee3ef48a7a88b85ee32f9aa810c2dcc2155d7cf [diff] |
Merge pull request #1024 from davidcunado-arm/dc/update_userguide Release v1.4: update change-log.rst