Skip to content

Conversation

@KishkinJ10
Copy link
Contributor

No description provided.

@PRMerger6
Copy link
Contributor

@KishkinJ10 : Thanks for your contribution! The author(s) have been notified to review your proposed change.

@colin-home
Copy link
Contributor

@KishkinJ10
I'm sorry, it looks like this issue was already fixed in PR #2991 last July, but the original issue wasn't closed because it wasn't linked in that PR. This fix isn't required, so I'm closing it, but I appreciate the effort that went into it.

@colin-home colin-home closed this Apr 17, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants