Skip to content

Conversation

@jonhoo
Copy link
Contributor

@jonhoo jonhoo commented Oct 28, 2021

Fixes #2883.

Should probably not be merged until the open questions from #2883 are resolved, and notably the implication of the discussion in #2793 is taken into account.

@kinnison kinnison marked this pull request as draft October 29, 2021 07:40
@kinnison
Copy link
Contributor

Thanks Jon, I've marked this as draft for now because until we're confident the decisions are right, I don't want to risk merging this. I'll try and get to code review at some point soonish though, I promise.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants