Skip to content

Coverity fixes

Coverity fixes #579

The logs for this run have expired and are no longer available.