Skip to content

Conversation

seisman
Copy link
Member

@seisman seisman commented Oct 12, 2025

Reverts PR #4151

@seisman seisman added the maintenance Boring but important stuff for the core devs label Oct 12, 2025
@seisman seisman marked this pull request as ready for review October 12, 2025 13:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Boring but important stuff for the core devs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant