Closed
Description
Looking through the history, it doesn't look like any 3rd party PRs have been merged since 2018. Are pull requests still accepted, or does @NeilFraser not currently merge or review pull requests other than his own?
Wondering if #201 has any chance of being merged.