Skip to content

Conversation

@Chartman123
Copy link
Collaborator

This removes an unused variable

@Chartman123 Chartman123 added php PHP related ticket 3. to review Waiting for reviews technical debt Technical issue labels Jan 3, 2025
@Chartman123 Chartman123 requested review from hamza221 and susnux January 3, 2025 14:47
Signed-off-by: Christian Hartmann <chris-hartmann@gmx.de>
@Chartman123 Chartman123 force-pushed the chore/remove-unused-symbol branch from 376db64 to 2ea7409 Compare January 7, 2025 21:26
@Chartman123 Chartman123 merged commit f812141 into main Jan 8, 2025
53 checks passed
@Chartman123 Chartman123 deleted the chore/remove-unused-symbol branch January 8, 2025 08:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3. to review Waiting for reviews php PHP related ticket technical debt Technical issue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants