Thanks for pushing the old uncompletely work, if anyone wants to pick it up, now they can.

If nobody stops me, I will merge this in a week so that we finally get a green CI again.

Actually if it's alright with you, I'd rather merge that PR and see how it goes. I just went over it and fixed a couple of things, and it's actually in a pretty decent shape. And if anybody want to improve what could be missing they could still do.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.