Skip to content

Conversation

JelleZijlstra
Copy link
Contributor

Continues #515

@JelleZijlstra JelleZijlstra merged commit 0c6ded0 into master Apr 11, 2022
@JelleZijlstra JelleZijlstra deleted the pep675 branch April 11, 2022 22:56
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.

1 participant