Manually merge PRs

You're Welcome.