Skip to content

Conversation

odow
Copy link
Member

@odow odow commented Jul 26, 2021

No description provided.

@odow odow added the Type: Documentation This issue requires changes to the documentation label Jul 26, 2021
@odow odow merged commit 70c0b56 into master Jul 26, 2021
@odow odow deleted the odow-patch-1 branch July 26, 2021 11:06
@blegat
Copy link
Member

blegat commented Jul 26, 2021

I have the majority of solvers dev'd to my machine

Isn't that comment for another PR ?

@odow
Copy link
Member Author

odow commented Jul 26, 2021

Yeah I don't know if I had a mind-blank, or if there was a bug in GitHub.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Type: Documentation This issue requires changes to the documentation
Development

Successfully merging this pull request may close these issues.

2 participants