Closed hawstom closed 2 years ago
This is a mistake, and I don't know how to delete it.
the pr?
Yes. Sorry. The pr has no changes.
you should be able to close it yourself, there should be a close button on this page for you
(you can't delete PRs, you can only close them)
This is a mistake, and I don't know how to delete it.