Skip to content

Conversation

@gselander
Copy link
Collaborator

Addressing #279

@emanjon
Copy link
Collaborator

emanjon commented Aug 14, 2025

I think this is ready to merge. I see this as a bug fix.

@highlunder
Copy link
Collaborator

I haven't traced the origin of this issue, but agree with John

@gselander
Copy link
Collaborator Author

This doesn't yet fully address #279, which references #278, where I continued the thread with @cabo.
If we want to close this I could implement my proposal from that thread.

@emanjon
Copy link
Collaborator

emanjon commented Aug 17, 2025

#279 has a lot of independent issues. No need for large PRs. I merge this. Commit the rest of the bug fixes to main or a new PR

@emanjon emanjon merged commit 7e63e35 into master Aug 17, 2025
2 checks passed
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.

4 participants