Skip to content

Conversation

nikic
Copy link
Member

@nikic nikic commented May 11, 2021

@nikic nikic added the RFC label May 11, 2021
@iluuu1994
Copy link
Member

Not everybody on the mailing list liked the change so I'm guessing an RFC would be appropriate. I'm closing this for now but feel free to reopen this if anybody would like to pursue this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants