Skip to content

Update to JuMP v0.23#514

Merged
odow merged 2 commits intomasterfrom
od/jump-0.23
Mar 9, 2022
Merged

Update to JuMP v0.23#514
odow merged 2 commits intomasterfrom
od/jump-0.23

Conversation

@odow
Copy link
Owner

@odow odow commented Mar 7, 2022

Closes #512

@odow odow merged commit 254f74d into master Mar 9, 2022
@odow odow deleted the od/jump-0.23 branch March 9, 2022 03:44
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.

Update to JuMP v0.23

1 participant