Skip to content

Conversation

wuseal
Copy link
Owner

@wuseal wuseal commented Dec 3, 2024

Fix #442 #439 #440

@wuseal wuseal added the bug fix For PR means this PR is used to fix bugs label Dec 3, 2024
@wuseal wuseal merged commit 0b0ed5b into master Dec 3, 2024
2 checks passed
@wuseal wuseal deleted the fix-compatible branch December 3, 2024 08:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug fix For PR means this PR is used to fix bugs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Does not work in the latest version of Intellij Idea
1 participant