This is certainly odd because I don’t think it was intended to be closed and I wasn’t the one that closed it. As least not intentionally and not that I’m aware of. Anyway, I’ll follow up with the PR shortly.
Something is odd about the state of the PR. Github bug perhaps? 
