| commit | 8f538ad97106bc3b32d1d7d38455b8d72d809f84 | [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 | 216140151bc04eda0d64136c51ee106e59335ab7 [diff] | |
| parent | 5b8183c67dfc4adfec9137b026492a05788319c4 [diff] |
Merge pull request #1538 from jts-arm/typos Remove unnecessary casts