I "think" a PR is coming, but I am not sure when. There are several possible scenarios, but guess when we will know; we will know when we know. I am not being flip. It's just that it is impossible to know anything for sure until it happens.
IMHO only, I think a PR will come at some point. I am hoping before the end of this month.