Skip to content

Conversation

@vaadin-bot
Copy link
Collaborator

This PR cherry-picks changes from the original PR #10800 to branch 25.0.


Original PR description

This removes a leftover from #10797

@sonarqubecloud
Copy link

@vursen vursen merged commit 1be14a7 into 25.0 Dec 30, 2025
10 checks passed
@vursen vursen deleted the cherry-pick-10800-to-25.0-1767084973781 branch December 30, 2025 09:09
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.

3 participants