Added by Kostas Papadimitriou almost 11 years ago
Merge branch 'master' into hotfix-0.14.1
Conflicts: version