Merge pull request by hand.