Merge pull request #1538 from jts-arm/typos
authorDimitris Papastamos <[email protected]>
Tue, 28 Aug 2018 09:07:21 +0000 (10:07 +0100)
committerGitHub <[email protected]>
Tue, 28 Aug 2018 09:07:21 +0000 (10:07 +0100)
commita23b3db5e991ba8eb73a811c62d9af8cbebf0418
tree3d3545cb3b30f1b9724843313d8bd0fc4576ee60
parent6fd4a5067695a1b5ad0f180930e58b833994c25a
parent432f0ad0bba8b3147e1f35cc3b20034612016f5d
Merge pull request #1538 from jts-arm/typos

Remove unnecessary casts