| commit | 8fe61c1bdf01d46d66dd6c0f84f087c88d676188 | [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 | 37df6d94d489b1cd0d72a8f6d4932005cfbbb5ef [diff] | |
| parent | 16b4109eb81920200f18bd3b0c2a9333698b715f [diff] |
Merge pull request #1448 from npoushin/npoushin/sgi575-coverity-fixes npoushin/sgi575 coverity fixes