Skip to content

Conversation

Eugeny
Copy link
Member

@Eugeny Eugeny commented Apr 11, 2025

Fixes #1314

Copy link

@Eugeny Eugeny merged commit 822d176 into main Apr 11, 2025
19 checks passed
@Eugeny Eugeny deleted the git-version branch April 11, 2025 06:18
@Eugeny Eugeny restored the git-version branch May 12, 2025 14:39
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