Skip to content

Prefix with underscores unused local variables#102

Merged
giordano merged 1 commit into
mainfrom
mg/rm-unused-local-vars
Mar 1, 2026
Merged

Prefix with underscores unused local variables#102
giordano merged 1 commit into
mainfrom
mg/rm-unused-local-vars

Conversation

@giordano

@giordano giordano commented Mar 1, 2026

Copy link
Copy Markdown
Collaborator

They were detected by JETLS, this reduces the noise in the JETLS report.

@giordano giordano merged commit 48032a3 into main Mar 1, 2026
23 checks passed
@giordano giordano deleted the mg/rm-unused-local-vars branch March 1, 2026 14:42
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