Skip to content

chore: release#2571

Merged
asvishnyakov merged 2 commits intomainfrom
asvishnyakov/2.8.3
Oct 6, 2025
Merged

chore: release#2571
asvishnyakov merged 2 commits intomainfrom
asvishnyakov/2.8.3

Conversation

@asvishnyakov
Copy link
Member

@asvishnyakov asvishnyakov commented Oct 6, 2025

image

@asvishnyakov asvishnyakov marked this pull request as ready for review October 6, 2025 01:57
@dosubot dosubot bot added the size:S This PR changes 10-29 lines, ignoring generated files. label Oct 6, 2025
@asvishnyakov asvishnyakov added this pull request to the merge queue Oct 6, 2025
Merged via the queue into main with commit 2457210 Oct 6, 2025
21 checks passed
@asvishnyakov asvishnyakov deleted the asvishnyakov/2.8.3 branch October 6, 2025 02:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size:S This PR changes 10-29 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants