Heya all, With the 4.0.0 branch ready for the final stages toward the release I think it's time to up the version number of the master branch. If there are no objections I will go ahead and change the version number of master to 4.1.0.
I think for the future this should happen directly after we make a branch for a release so it is very clear what versions people are working on and prevents mismatches from happening when people are working on both the branch and the master at the same time. We don't want somebody pulling in a dependency from that master branch into the release compile just because it compiled more recently ;-) Cheers, Hugo
