@kugel- sounds sensible. I just didn't want to spend a bunch of time porting only to still be out of date. If you've already done it for 4, then no point in waiting for 5, as you said. Just make a PR that closes this issue and we can worry about separately when the time comes.

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