Skip to content

Conversation

@erip
Copy link

@erip erip commented Jan 5, 2019

This is a long-term WIP, but it's probably good to open for early feedback.

The relevant RFC is here.

@SeanTAllen
Copy link
Member

Hi @erip,

Are you still working on this, should we close the PR?

@SeanTAllen SeanTAllen marked this pull request as draft September 25, 2020 03:00
@erip erip closed this Sep 25, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants