This is a very important distinction. Closing versus releasing a PR about the close. It very well could have closed this week, with a PR next week.