Skip to content

[BUGFIX] Fix wrong namespace#115

Merged
simonschaufi merged 1 commit intomainfrom
fix-wrong-namespace
May 23, 2024
Merged

[BUGFIX] Fix wrong namespace#115
simonschaufi merged 1 commit intomainfrom
fix-wrong-namespace

Conversation

@simonschaufi
Copy link
Copy Markdown
Collaborator

No description provided.

@simonschaufi simonschaufi enabled auto-merge May 23, 2024 13:59
@simonschaufi simonschaufi merged commit 733c6e1 into main May 23, 2024
@simonschaufi simonschaufi deleted the fix-wrong-namespace branch May 23, 2024 14:00
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