Added by Christos Stavrakakis about 11 years ago
Merge branch 'debian-release-0.10' into debian
Conflicts: debian/changelog version