03/30/2023, 10:07 AM
apropos, do we plans to cut a new 0.12.x release some time soon? namely, this week / next week or so
03/31/2023, 8:33 AM
Yes, we should. Let's also include
in the upcoming release. I've addressed the PR comments, please review it again. Let's get it merged today 🙂
03/31/2023, 8:43 AM
are just looking at this flow to remove the direct reliance on github to check for latest releases. Can you join us on discord?