Skip to content

Conversation

fezfez
Copy link
Contributor

@fezfez fezfez commented Oct 18, 2022

No description provided.

@fezfez
Copy link
Contributor Author

fezfez commented Oct 22, 2022

@florianeckerstorfer ping 🤓

@florianeckerstorfer florianeckerstorfer merged commit 588bad6 into cocur:main Oct 23, 2022
@florianeckerstorfer
Copy link
Member

@fezfez Thank you for the 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.

2 participants