Skip to content

Conversation

@berendt
Copy link
Member

@berendt berendt commented Nov 25, 2025

This reverts commit 4743aff.

@berendt berendt merged commit 182ecd5 into main Nov 25, 2025
1 of 2 checks passed
@berendt berendt deleted the rev-4743aff65e29a6d14b456e9b37239ad0fa8976db branch November 25, 2025 10:51
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.

2 participants