Skip to content

Conversation

dominikkukacka
Copy link

No description provided.

@namtacs
Copy link

namtacs commented Dec 10, 2023

Basically useless if #1815 gets merged.

@dominikkukacka
Copy link
Author

Basically useless if #1815 gets merged.

I was hoping of getting merged, because I created the PR earlier 😊

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.

2 participants