Added by Christos Stavrakakis over 10 years ago
Merge branch 'hotfix-0.11.1' into debian-hotfix-0.11.1