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