Skip to content

Conversation

@christophstrobl
Copy link
Member

Relates to #5074 but does not resolve the issue asking for removal. So we should keep the original issue around to keep track of the removal.

@mp911de mp911de added the type: enhancement A general enhancement label Oct 30, 2025
schauder pushed a commit that referenced this pull request Oct 30, 2025
And fix type name in tests.

See #5074
Original pull request #5085
@schauder
Copy link
Contributor

That's merged.

@schauder schauder closed this Oct 30, 2025
@schauder schauder added this to the 5.0 RC2 (2025.1.0) milestone Oct 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement A general enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants