Skip to content

Conversation

@powellnorma
Copy link
Contributor

Based on #28

@2e3s
Copy link
Owner

2e3s commented Oct 9, 2024

Thank you, the fix makes sense, but it needs to come first. If you prefer, I can cherry-pick it a bit later without the other change, unless you do.

@powellnorma
Copy link
Contributor Author

If you prefer, I can cherry-pick it a bit later without the other change, unless you do.

IIRC they are intertwined, so probably there will be some conflicts when removing the first commit. I'd do it once I find the time and #28 is merged.

Feel free to do this earlier, if you'd like

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