Update to the revision following pull request