Skip to content

Conversation

@gsanchietti
Copy link
Member

This should be temporary.

@gsanchietti gsanchietti requested a review from DavidePrincipi May 2, 2023 09:43
@gsanchietti gsanchietti merged commit f7d8c0f into master May 2, 2023
@gsanchietti gsanchietti deleted the ns8_dev branch May 2, 2023 13:10
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