Skip to content

Conversation

@kovmir
Copy link
Collaborator

@kovmir kovmir commented Oct 6, 2025

Yep, do it.

@kovmir kovmir self-assigned this Oct 6, 2025
@kovmir kovmir merged commit da2dc09 into master Oct 6, 2025
5 checks passed
@kovmir kovmir deleted the drop-13-support branch October 6, 2025 08:56
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