Skip to content

Delete extra parens#1101

Merged
benface merged 1 commit intomainfrom
delete-extra-parens
May 2, 2026
Merged

Delete extra parens#1101
benface merged 1 commit intomainfrom
delete-extra-parens

Conversation

@kchandrasekera
Copy link
Copy Markdown
Contributor

This is a cleanup PR that deletes an extra parens. No other changes.

@kchandrasekera kchandrasekera requested a review from a team as a code owner May 2, 2026 16:52
@benface benface merged commit 3b999e3 into main May 2, 2026
4 checks passed
@benface benface deleted the delete-extra-parens branch May 2, 2026 17:04
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