On Friday, 24 August 2018 at 20:04:22 UTC, Jonathan Marler wrote:
I'd gladly fix it but alas, my pull requests are ignored :(
They aren't! It's just that sometimes the review queue is pretty full. I have told you before that your contributions are very welcome (like they are from everyone else) and if there's anything blocking your productivity you can always ping me on Slack.