Open stweil opened 1 year ago
So we should ask @mloesch whether he is still interested in getting pull requests for this repository. He can re-open your PR and merge it before the one here.
Yes, I guess so. I opened an issue about the project status, #60.
Hi @stweil, I opened a PR (#57) for the docstring as well last year. It was never merged, so I closed it again.