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

Issue 170 #171

Closed
wants to merge 3 commits into from
Closed

Issue 170 #171

wants to merge 3 commits into from

Conversation

mjgleason
Copy link
Collaborator

This draft PR provides a potential solution to fix Issue #170. I have tested it on one of the problem cases (corresponding to the configuration file provided the issue) and confirmed that it works, and also scanned the code for potential side effects. However, I have not run this through existing unit tests or written any new tests to guard against this issue in the future.

@ppinchuk I could use your help to:

  1. See if this is the simplest solution or if it could be done in a way that is more insulated from causing side effects.
  2. Review for other potential side effects.
  3. Guidance on how to approach testing.

@mjgleason mjgleason self-assigned this Jan 25, 2023
@mjgleason mjgleason mentioned this pull request Jan 30, 2023
@mjgleason
Copy link
Collaborator Author

Closing in favor of #173

@mjgleason mjgleason closed this Jan 30, 2023
@mjgleason mjgleason deleted the issue_170 branch January 30, 2023 19:05
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.

1 participant