Skip to content

Conversation

@i582
Copy link
Contributor

@i582 i582 commented Feb 24, 2025

No description provided.

Copy link
Member

@novusnota novusnota left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, all good here ❤️

Although main branch is used from time to time by GitHub Linguist for syntax highlighting, existing things won't need fixes like with with tree-sitter-tact. So, it's fine to merge this PR ahead of soon-to-be-made towards-1.6.0 branch :)

@novusnota novusnota merged commit 8d2deb1 into main Feb 24, 2025
2 checks passed
@novusnota novusnota deleted the pmakhnev/1.6.0/codeOf branch February 24, 2025 08:57
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.

3 participants