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.
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.