Skip to content

Conversation

@ChrisRackauckas
Copy link
Member

@ChrisRackauckas
Copy link
Member Author

Looks like this caught an error introduced by the recent PR

@kanav99
Copy link
Contributor

kanav99 commented Jul 12, 2020

Sorry, I have made the fix in #109. We should rebase this PR after the merge

ChrisRackauckas and others added 4 commits July 12, 2020 06:39
Co-authored-by: Kanav Gupta <33966400+kanav99@users.noreply.github.com>
Co-authored-by: Kanav Gupta <33966400+kanav99@users.noreply.github.com>
@ChrisRackauckas ChrisRackauckas merged commit c74058b into master Jul 12, 2020
@ChrisRackauckas ChrisRackauckas deleted the newtests branch July 12, 2020 11:22
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.

3 participants