Skip to content

Conversation

metacosm
Copy link
Collaborator

@metacosm metacosm commented Oct 28, 2021

Relies on #633 which should be merged first, replaces #634.

@metacosm metacosm self-assigned this Oct 28, 2021
@metacosm metacosm merged commit 7fec740 into v2 Oct 28, 2021
@metacosm metacosm deleted the fix-generics branch October 28, 2021 11:44
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