Skip to content

Conversation

@jonathanberthias
Copy link
Contributor

@jonathanberthias jonathanberthias commented Oct 30, 2025

@Joao-Dionisio
Copy link
Member

Oh thank you, @jonathanberthias ! Saving the day, once again :)

@Joao-Dionisio Joao-Dionisio merged commit c9d87de into scipopt:master Oct 31, 2025
1 check passed
@jonathanberthias
Copy link
Contributor Author

Oh thank you, @jonathanberthias ! Saving the day, once again :)

Haha it's very easy when I'm the one who broke everything before 😆

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