[Pinned] Current Maintainers #1234
Description
Please be respectful of people's time. The project is maintained in evenings and weekends.
This is not an invitation to frequently ping us on your issues and pull requests, but if you are not getting a response on your issue or pull request in 1-2 weeks time then you can try to @mention one of the maintainers.
The users that can merge pull requests: