Remove note about pull request that has now been merged