New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Misc fixes #701

Merged
merged 14 commits into from Oct 27, 2018

Conversation

1 participant
@skirpichev
Copy link
Collaborator

skirpichev commented Oct 24, 2018

No description provided.

@skirpichev skirpichev added this to the 0.10 milestone Oct 24, 2018

@skirpichev skirpichev force-pushed the skirpichev:misc branch from 4a1b4f9 to abb4396 Oct 25, 2018

@skirpichev skirpichev merged commit 22cb935 into diofant:master Oct 27, 2018

3 checks passed

codecov/patch 100% of diff hit (target 97%)
Details
codecov/project 97% (+<1%) compared to 8b15266
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details

@skirpichev skirpichev deleted the skirpichev:misc branch Oct 27, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment