Skip to content

Conversation

blegat
Copy link
Member

@blegat blegat commented Jul 11, 2019

Many more PRs were merged for updating the solvers since #737.
This PR adds them to the NEWS.md.

@blegat blegat added this to the v0.9 milestone Jul 11, 2019
@blegat blegat merged commit 63e9f06 into master Jul 16, 2019
@odow odow deleted the bl/newv0.9 branch August 29, 2019 14:41
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.

2 participants