Skip to content

Avoid semicolons#3821

Merged
cjcolvar merged 1 commit into
mainfrom
fix-semicolon
May 13, 2026
Merged

Avoid semicolons#3821
cjcolvar merged 1 commit into
mainfrom
fix-semicolon

Conversation

@jcoyne
Copy link
Copy Markdown
Member

@jcoyne jcoyne commented May 13, 2026

No description provided.

@cjcolvar cjcolvar merged commit 7ef5d21 into main May 13, 2026
12 checks passed
@cjcolvar cjcolvar deleted the fix-semicolon branch May 13, 2026 14:52
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.

2 participants