Closed abhijitutkarsh closed 3 years ago
Thanks for the PR. It would be preferable to delete this unmaintained file, which has been superseded by Github issues. We can create new issues for important items.
Could you delete the file instead?
Thanks.
closed per #48
Thanks for the PR. It would be preferable to delete this unmaintained file, which has been superseded by Github issues. We can create new issues for important items.
Could you delete the file instead?
Thanks.