Skip to content

Remove redundant code identifier#529

Merged
hannesa2 merged 1 commit intomasterfrom
RemoveRedundantCodeIdentifier
Sep 14, 2023
Merged

Remove redundant code identifier#529
hannesa2 merged 1 commit intomasterfrom
RemoveRedundantCodeIdentifier

Conversation

@hannesa2
Copy link
Copy Markdown
Collaborator

No description provided.

@hannesa2 hannesa2 added the enhancement New feature or request label Sep 14, 2023
@hannesa2 hannesa2 merged commit 466d891 into master Sep 14, 2023
@hannesa2 hannesa2 deleted the RemoveRedundantCodeIdentifier branch September 14, 2023 10:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant