Merge pull request #1448 from npoushin/npoushin/sgi575-coverity-fixes
authorDimitris Papastamos <[email protected]>
Mon, 25 Jun 2018 12:38:29 +0000 (13:38 +0100)
committerGitHub <[email protected]>
Mon, 25 Jun 2018 12:38:29 +0000 (13:38 +0100)
npoushin/sgi575 coverity fixes


Trivial merge