| commit | a23b3db5e991ba8eb73a811c62d9af8cbebf0418 | [log] [tgz] |
|---|---|---|
| author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Tue Aug 28 10:07:21 2018 +0100 |
| committer | GitHub <noreply@github.com> | Tue Aug 28 10:07:21 2018 +0100 |
| tree | 3d3545cb3b30f1b9724843313d8bd0fc4576ee60 | |
| parent | 6fd4a5067695a1b5ad0f180930e58b833994c25a [diff] | |
| parent | 432f0ad0bba8b3147e1f35cc3b20034612016f5d [diff] |
Merge pull request #1538 from jts-arm/typos Remove unnecessary casts