Is there something we need to do to get a pull request merged? #226
Stokestack
started this conversation in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I submitted PR 210 in November of last year, which closes issue 209. It still seems to be languishing out there.
Beta Was this translation helpful? Give feedback.
All reactions