Skip to content

Revert #338#343

Merged
note11g merged 1 commit into
mainfrom
revert-338-main
Jul 30, 2025
Merged

Revert #338#343
note11g merged 1 commit into
mainfrom
revert-338-main

Conversation

@note11g

@note11g note11g commented Jul 30, 2025

Copy link
Copy Markdown
Owner

Reverts #338

@note11g

note11g commented Jul 30, 2025

Copy link
Copy Markdown
Owner Author

Revert and merge to dev/1.4.1

@note11g note11g merged commit ab60622 into main Jul 30, 2025
1 check passed
@note11g note11g deleted the revert-338-main branch July 30, 2025 08:54
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.

1 participant