Skip to content

Conversation

@vmaerten
Copy link
Member

@vmaerten vmaerten commented Nov 20, 2025

fixes #2486

@vmaerten vmaerten marked this pull request as ready for review November 23, 2025 19:03
@vmaerten vmaerten merged commit 4ab1958 into main Nov 29, 2025
13 checks passed
@vmaerten vmaerten deleted the summary branch November 29, 2025 10:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants