Skip to content

Conversation

mayli
Copy link

@mayli mayli commented Jan 22, 2022

No description provided.

@mateokurti
Copy link

When will this be merged?

@rth
Copy link

rth commented Sep 29, 2022

Thanks @mayli ! I would say this can be closed in favor of #120 which is more ready to be merged and goes in the same direction as this PR.

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.

3 participants