git branch 5.1 was just created (to host the release series v5.1.x),
therefore new features can now be pushed again in master branch. They
will be part of the next future release, likely to be numbered 5.2.x.
Any fixes that affect existing code in branches 5.1 or older version
have to be backported - push first to master and then cherry pick -- see
the contributing guidelines at: