Making Coverity happy

May 5, 2014

We are currently using Coverity to spot bugs and issues. During the last week, jvoisin and xvilka went full berzerk and killed more than a hundret of bugs, also helped by the usual contributors.

happy coverity

Feel free to help us and enter our one-fix-a-day contest!