Skip to content

Conversation

@spefk
Copy link
Collaborator

@spefk spefk commented Mar 10, 2025

No description provided.

@spefk spefk self-assigned this Mar 10, 2025
@spefk spefk merged commit 8429e9e into main Mar 10, 2025
3 checks passed
@spefk spefk deleted the spefk-rename-to-simplifier branch March 10, 2025 20:10
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