Community
Participate
Working Groups
The version number at the top of the User Guide needs updating (e.g. the 2.0.1.RELEASE produced version 1.2.0.BUILD-20120109112446).
Fixed with commit 3b94ef24da44052a15b004360e150fb621f75afc We should think about how to remove this additional build.properties file in order to prevent such issues in the future
Final solution is applied with commit ab5c1545e9c9d9e5aa76e26a7e85f5fc3151d6be