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

Correct the error message to new filename. #1057

Merged
merged 1 commit into from
Jan 29, 2020
Merged

Conversation

jwg4
Copy link
Contributor

@jwg4 jwg4 commented Jan 5, 2020

The file which needs to be manually edited now seems to be config_defaults.py._

  • If this is a bugfix, I have provided code that clearly demonstrates the problem and that works when used with this PR
  • [.] I have added a test to the test suite, if necessary
  • [.] I have properly documented new or changed features in the documention, or the docstrings
  • [.] I have properly documented unusual changes to the code in the comments around it
  • I have made note of any breaking/backwards incompatible changes

The file which needs to be manually edited now seems to be `config_defaults.py`._
@coveralls
Copy link

Coverage Status

Coverage increased (+0.2%) to 65.005% when pulling aa3f30b on jwg4:patch-1 into 65f6b47 on Zulko:master.

@tburrows13 tburrows13 merged commit f670d1a into Zulko:master Jan 29, 2020
@tburrows13
Copy link
Collaborator

Thanks

@tburrows13 tburrows13 added the enhancement Positive change that does not change the API, i.e. improved performance, using less memory etc. label Feb 24, 2020
@tburrows13 tburrows13 added bug-fix For PRs and issues solving bugs. and removed enhancement Positive change that does not change the API, i.e. improved performance, using less memory etc. labels Mar 26, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug-fix For PRs and issues solving bugs.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants