Skip to content

remove unused parameters - #1901

Merged
schluis merged 1 commit into
HULKs:mainfrom
schluis:cleanup-parameters
Jul 5, 2025
Merged

remove unused parameters#1901
schluis merged 1 commit into
HULKs:mainfrom
schluis:cleanup-parameters

Conversation

@schluis

@schluis schluis commented Jul 2, 2025

Copy link
Copy Markdown
Contributor

Why? What?

  • They were not used

@github-project-automation github-project-automation Bot moved this to Request for Review in Development Jul 2, 2025
@schluis
schluis enabled auto-merge July 2, 2025 14:54
@schluis schluis added the is:Cleanup Nothing new here, just tidying up. label Jul 3, 2025
@schluis
schluis added this pull request to the merge queue Jul 5, 2025

@knoellle knoellle left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@knoellle knoellle self-assigned this Jul 5, 2025
Merged via the queue into HULKs:main with commit 9a11dd6 Jul 5, 2025
27 checks passed
@schluis
schluis deleted the cleanup-parameters branch July 5, 2025 21:17
@github-project-automation github-project-automation Bot moved this from Request for Review to Done in Development Jul 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

is:Cleanup Nothing new here, just tidying up.

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants