Skip to content

Conversation

@cstamas
Copy link
Member

@cstamas cstamas commented Dec 1, 2025

These two were seemingly unused.

These two were seemingly unused.
@cstamas cstamas marked this pull request as ready for review December 1, 2025 21:24
@cstamas cstamas merged commit f3c5de3 into master Dec 1, 2025
121 of 122 checks passed
@cstamas cstamas deleted the drop-unused branch December 1, 2025 21:24
@github-actions
Copy link

github-actions bot commented Dec 1, 2025

@cstamas Please assign appropriate label to PR according to the type of change.

@github-actions
Copy link

github-actions bot commented Dec 1, 2025

@cstamas The PR can't be associated to a milestone, because there are multiple open milestones. Please add the text "branch: master" to the description to the milestone where this PR belongs to.

@cstamas cstamas added this to the 3.12.1 milestone Dec 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants