### Updated by tools/release/bump.sh ###
project.versioning.major=5
project.versioning.minor=1
project.versioning.patch=3
project.versioning.build=0
project.versioning.type=rc
#############################