Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Move constant to configuration #17

Merged
merged 1 commit into from
Mar 10, 2023
Merged

Move constant to configuration #17

merged 1 commit into from
Mar 10, 2023

Conversation

ciroque
Copy link
Collaborator

@ciroque ciroque commented Mar 10, 2023

Proposed changes

This constant was missed in the Great Configuration Migration of March 9th.

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING document
  • If applicable, I have added tests that prove my fix is effective or that my feature works
  • If applicable, I have checked that any relevant tests pass after adding my changes
  • I have updated any relevant documentation (README.md and CHANGELOG.md)

@ciroque ciroque merged commit 143fd1f into main Mar 10, 2023
@ciroque ciroque deleted the minor-configuration-change branch March 13, 2023 18:53
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@ciroque