It looks like the pending pull request was merged