commit | ca9915c2bbce951a2955d4314d255270a8f5a0b3 | [log] [tgz] |
---|---|---|
author | davidcunado-arm <david.cunado@arm.com> | Fri Aug 04 14:09:27 2017 +0100 |
committer | GitHub <noreply@github.com> | Fri Aug 04 14:09:27 2017 +0100 |
tree | 6d01ca8eebb17970519de873f6e9f45e1284f80d | |
parent | 2dfab27a75ff5cdd44609800c557d4447757a19e [diff] | |
parent | 1a3a16768efbfd0bd711eaa8b2a2959b4efd5359 [diff] |
Merge pull request #1050 from davidcunado-arm/dc/update_changelog Fix to change.log