Skip to content
This repository was archived by the owner on Jun 16, 2025. It is now read-only.

Conversation

livthomas
Copy link
Contributor

We use this repository as a git submodule in our solver and after the latest version update, we get this diff every time we build it.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant