Skip to content
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

Update printer.py #11912

Merged
merged 1 commit into from
Dec 6, 2016
Merged

Update printer.py #11912

merged 1 commit into from
Dec 6, 2016

Conversation

mohit3011
Copy link
Contributor

@mohit3011 mohit3011 commented Dec 6, 2016

Replaced Therefor with Therefore in line 19 (issue #11911)

Replaced Therefor with Therefore in line 19 (issue #11911)
@gxyd
Copy link
Contributor

gxyd commented Dec 6, 2016

Thanks. Merging.

@gxyd gxyd merged commit 7c3df3b into sympy:master Dec 6, 2016
@gxyd
Copy link
Contributor

gxyd commented Dec 6, 2016

From next time. You can use "Fixes #issue_number" in your commit message, that will automatically close the corresponding issue. I am now closing it manually.

@gxyd gxyd mentioned this pull request Dec 6, 2016
@mohit3011
Copy link
Contributor Author

mohit3011 commented Dec 6, 2016 via email

@asmeurer
Copy link
Member

asmeurer commented Dec 6, 2016

@mohit3011 if you can suggest how to make the message "<If this pull request fixes an issue please indicate which issue by typing "Fixes #NNNN" below.>" clearer please let us know (not trying to be passive aggressive, really do want to make it clearer, since it obviously didn't work in this instance).

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.

None yet

3 participants