New pull request: #3218