Commit 534cc5a3cbd301c709c1091a3dd9924ea52542cb

Carlos Martín Nieto 2016-02-09T16:10:43

Merge pull request #3603 from pks-t/pks/coverity-fixes Coverity fixes