There are a few changes only on the
next_release branch that we need to merge back to
4.x-dev and then eventually
5.x-dev. We don't want to delete this branch in the process of merging.
I think I mentioned that before already: We should not merge back the changes using a pull request (unless we allow something else than squash). Otherwise we will loose the merge commits of the PRs that had been merged to
I'll close this one and push the merge directly on command line to preserve history