commit | e74af2afd0886a1b425757ff348396bffd0a580e | [log] [tgz] |
---|---|---|
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Thu Mar 29 09:59:52 2018 +0100 |
committer | GitHub <noreply@github.com> | Thu Mar 29 09:59:52 2018 +0100 |
tree | 34de46f0991d30b29e21fbcb0df1bdf38ce14f12 | |
parent | 0b7477234a5b9c46eedbdeb69ccec6ccf3872465 [diff] | |
parent | 9f85f9e3796f1c351bbc4c8436dc66d83c140b71 [diff] |
Merge pull request #1335 from JoelHutton/jh/cleanup_void_pointers Clean usage of void pointers to access symbols