Closed this issue 10 years ago · 4 comments
There are three PRs that seem to be old/stale. Are there any plans for them?
I don't have any plans to merge them at this point.
Can we close them down, then?
done
Awesome, thanks.