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 #620

Merged
merged 10 commits into from Mar 5, 2018

Conversation

1 participant
@skirpichev
Collaborator

skirpichev commented Mar 4, 2018

No description provided.

@skirpichev skirpichev added this to the 0.10 milestone Mar 4, 2018

@skirpichev skirpichev changed the title [wip] Misc fixes Misc fixes Mar 4, 2018

@skirpichev skirpichev force-pushed the skirpichev:misc branch from 6d5b01c to 5a02b2b Mar 5, 2018

@skirpichev skirpichev added the core label Mar 5, 2018

@skirpichev skirpichev merged commit 51b6759 into diofant:master Mar 5, 2018

3 checks passed

codecov/patch 100% of diff hit (target 97%)
Details
codecov/project Absolute coverage decreased by -<1% but relative coverage increased by +3% compared to ae448ce
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details

@skirpichev skirpichev deleted the skirpichev:misc branch Mar 5, 2018

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