We have a number of open pull requests for the eight branch that could be merged. What should we do with them? Last I knew, Misha was handling the branch, so I guess that's a question for you: merge and leave them? merge and plan a release? close? Dustin