Merge pull request #891 from wenningerk/coverity_1.1
a few patches to make coverity a little more happy
Description
Description
Details
Details
- Provenance
kgaillot Authored on Jan 14 2016, 12:59 PM - Parents
- rP93b9f2c30dd4: Fix: fencing: free only after last usage
rP71164ccf8d41: Merge pull request #886 from wferi/sanitize - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes