Hi all We have branched for 3.13.
This means master is open for new features again, but bugfixes of course remain very welcome. If all goes well, we'll release in a week. You can get the new branch using "git checkout v3.13", and changes for the stable release can be pushed to refs/for/v3.13 if you want them to be reviewed. Alex
