Skip to content

Conversation

@reinacchi
Copy link
Member

No description provided.

@reinacchi reinacchi added the minor label Jan 5, 2023
@reinacchi reinacchi merged commit 2893000 into master Jan 5, 2023
@reinacchi reinacchi deleted the license branch January 5, 2023 12:30
reinacchi added a commit that referenced this pull request Apr 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants