| commit | bc15ce6722c64aa04db2c1df6740835820b1b37f | [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 | c7b5b3f6c6851bf5b408e516c95a9de7498667f5 [diff] | |
| parent | 1b796faf0e26842f9af8b977fde6642b6a6f7e3b [diff] |
Merge pull request #1024 from davidcunado-arm/dc/update_userguide Release v1.4: update change-log.rst