Closed si14 closed 3 years ago
Hey there, please close this PR or merge it appropriately. It will be auto-closed in 48 hours if not acted upon.
If you decide to merge it, comment here and take ownership to coordinate, schedule, and get it done. Thanks!
Hey!
It was merging fine when I've sent the PR, I'll merge against master in a few days.
Oh sorry, I was seeing that big red cross and didn't realise what it's saying next to it. Apparently it can be clearly merged already if someone approves it.
Thanks for merging this!
By the way, is there a chance you can cut a release with this PR?
Resolves #17