commit | a455173969be53f11dea5d0ab39a9ece63cffdac | [log] [tgz] |
---|---|---|
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Mon Jun 25 13:38:29 2018 +0100 |
committer | GitHub <noreply@github.com> | Mon Jun 25 13:38:29 2018 +0100 |
tree | 41ad3d1c990fc48edafc1c394b43d0fb16abbc25 | |
parent | 562e0e8ae871f14c2c0b00be8631b8e1d10bb0ab [diff] | |
parent | 8e26307db63b1da1029713ba5d22b3428a2dab4b [diff] |
Merge pull request #1448 from npoushin/npoushin/sgi575-coverity-fixes npoushin/sgi575 coverity fixes