Skip to content

Conversation

pmjones
Copy link

@pmjones pmjones commented Sep 30, 2022

No description provided.

@pmjones
Copy link
Author

pmjones commented Sep 30, 2022

There may be other errors of this kind, but these are the two I found recently.

@compwright
Copy link
Owner

Not the way I'd prefer to handle this error in this case, will work on a fix. Thanks for the submission.

@compwright compwright closed this Sep 30, 2022
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.

2 participants