Skip to content

Attribs all stmts#14

Merged
ailrst merged 2 commits intomainfrom
attribs-all-stmts
Jul 8, 2025
Merged

Attribs all stmts#14
ailrst merged 2 commits intomainfrom
attribs-all-stmts

Conversation

@ailrst
Copy link
Collaborator

@ailrst ailrst commented Jul 8, 2025

No description provided.

@ailrst ailrst merged commit 003e22e into main Jul 8, 2025
1 check passed
@ailrst ailrst deleted the attribs-all-stmts branch July 8, 2025 01:48
ailrst pushed a commit that referenced this pull request Sep 11, 2025
* update grammar

* promote and fix
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