Skip to content

Conversation

@m-kurtenacker
Copy link
Contributor

Can be merged whenever, but will certainly conflict with development branches. Fixing any issues with this change should be relatively easy tough.

@m-kurtenacker
Copy link
Contributor Author

I'll mark this as a draft for the time being, our header files need some TLC.

@m-kurtenacker m-kurtenacker marked this pull request as draft July 5, 2024 08:54
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