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

Merged
merged 17 commits into from Dec 18, 2017

Conversation

1 participant
@skirpichev
Copy link
Collaborator

skirpichev commented Nov 28, 2017

  • release notes (deprecations)

@skirpichev skirpichev force-pushed the skirpichev:misc branch 3 times, most recently from 0be2040 to 9bbc8b7 Nov 29, 2017

@skirpichev skirpichev force-pushed the skirpichev:misc branch from b005632 to bb9b20b Nov 29, 2017

@skirpichev skirpichev force-pushed the skirpichev:misc branch from 5bc86a8 to 7e99f6d Dec 7, 2017

@skirpichev skirpichev changed the title [wip] Misc fixes Misc fixes Dec 17, 2017

@skirpichev skirpichev added the sets label Dec 17, 2017

@skirpichev skirpichev force-pushed the skirpichev:misc branch 3 times, most recently from b0b9da7 to 61aa95d Dec 17, 2017

@skirpichev skirpichev added this to the 0.9 milestone Dec 17, 2017

@skirpichev skirpichev force-pushed the skirpichev:misc branch from 61aa95d to 67a4208 Dec 18, 2017

@skirpichev skirpichev merged commit 3ff0012 into diofant:master Dec 18, 2017

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details

@skirpichev skirpichev deleted the skirpichev:misc branch Dec 18, 2017

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