Skip to content

improve source/destination errors on close#181

Merged
ingon merged 1 commit into
mainfrom
better-close
Jun 27, 2026
Merged

improve source/destination errors on close#181
ingon merged 1 commit into
mainfrom
better-close

Conversation

@ingon

@ingon ingon commented Jun 27, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@ingon ingon merged commit 60545c0 into main Jun 27, 2026
3 checks passed
@ingon ingon deleted the better-close branch June 27, 2026 14:16
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.

1 participant