Skip to content

some nits#1279

Merged
elharo merged 1 commit intomasterfrom
grammar
Nov 23, 2025
Merged

some nits#1279
elharo merged 1 commit intomasterfrom
grammar

Conversation

@elharo
Copy link
Copy Markdown
Contributor

@elharo elharo commented Nov 23, 2025

No description provided.

@elharo elharo merged commit 04cbbb3 into master Nov 23, 2025
31 checks passed
@elharo elharo deleted the grammar branch November 23, 2025 19:29
@github-actions github-actions Bot added this to the 3.8.1 milestone Nov 23, 2025
@github-actions
Copy link
Copy Markdown

@elharo Please assign appropriate label to PR according to the type of change.

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.

2 participants