Skip to content

Conversation

csviri
Copy link
Contributor

@csviri csviri commented Nov 22, 2022

No description provided.

@csviri csviri self-assigned this Nov 22, 2022
@csviri csviri merged commit 78830b3 into main Nov 22, 2022
@csviri csviri deleted the naming-fixes branch November 22, 2022 12:16
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.

1 participant