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