This PR is being merged on the branch master of the project.