Commit e0bbe78134007747dcfd0164a2604a68d31e95c8

Carlos Martín Nieto 2016-02-09T06:41:02

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