Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

PR status #183

Closed
11 tasks
rkdarst opened this issue Jul 23, 2020 · 1 comment
Closed
11 tasks

PR status #183

rkdarst opened this issue Jul 23, 2020 · 1 comment
Labels

Comments

@rkdarst
Copy link
Contributor

rkdarst commented Jul 23, 2020

Since our PRs are so stagnent, I made a summary of them below to hopefully help maintainers decide what to do. Or maybe encourage more people to take a look.

Six should be used right away, some are old. At least three can be closed.

@rkdarst rkdarst added the bug label Jul 23, 2020
@rkdarst
Copy link
Contributor Author

rkdarst commented Jul 23, 2020

My first submission seemed to fail, so I tried again. But it actually worked. Closing this, someone can delete if possible.

@rkdarst rkdarst closed this as completed Jul 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant