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.
Feel free to help us and enter our one-fix-a-day contest!