Skip to content

Conversation

@ScharfViktor
Copy link
Contributor

port #1965

@ScharfViktor ScharfViktor merged commit 80cf0ba into stable-4.0 Dec 11, 2025
57 of 59 checks passed
@ScharfViktor ScharfViktor deleted the port#1965 branch December 11, 2025 09:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type:Maintenance E.g. technical debt, packaging, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants