Skip to content

Conversation

pitmonticone
Copy link
Member

No description provided.

github-actions bot and others added 2 commits January 27, 2023 14:11
Co-Authored-By: Claudio Moroni <[email protected]>
Co-Authored-By: Pietro Monticone <[email protected]>
@pitmonticone pitmonticone added the enhancement New feature or request. label Feb 6, 2023
@pitmonticone pitmonticone merged commit e0dbee5 into JuliaCon2023 Feb 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants