Skip to content

Conversation

voibit
Copy link

@voibit voibit commented Nov 4, 2023

Not sure if it is the correct solution, but it fixes build in #365

@Dirreke
Copy link
Collaborator

Dirreke commented Jan 29, 2025

#354 should solve the issue. Does it work in your situation? Don't worry to reopen it if it doesn't work.

@Dirreke Dirreke closed this Jan 29, 2025
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