Skip to content

Conversation

odow
Copy link
Member

@odow odow commented Nov 10, 2022

Closes #2043

@odow odow merged commit 80c36df into master Nov 10, 2022
@odow odow deleted the od/fix-lp-free branch November 10, 2022 23:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

[FileFormats.LP] QPLIB failures
1 participant