Skip to content

Conversation

ert78gb
Copy link
Member

@ert78gb ert78gb commented Sep 1, 2025

No description provided.

@ert78gb ert78gb merged commit 53c3556 into master Sep 1, 2025
4 checks passed
@ert78gb ert78gb deleted the chore-bump-jetbrains-mono branch September 1, 2025 17:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant