Skip to content

Conversation

uhuntu
Copy link

@uhuntu uhuntu commented Aug 3, 2022

No description provided.

@spbnick
Copy link
Member

spbnick commented Aug 7, 2022

Thank you for the PR, @uhuntu. However, could you please describe what is the problem you're trying to solve, and why your fix works? Thank you!

@nic3-14159
Copy link

Just a note, I think this accomplishes the same thing as 60f62f5 in #594

@spbnick
Copy link
Member

spbnick commented Aug 7, 2022

Ah, thank you, @nic3-14159. I'll take a look at that.

@spbnick
Copy link
Member

spbnick commented Aug 7, 2022

Fixed in #629. Thank you!

@spbnick spbnick closed this Aug 7, 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.

3 participants