Skip to content

Fix build#444

Merged
WiserTixx merged 4 commits intominorfrom
fix-build
Dec 20, 2025
Merged

Fix build#444
WiserTixx merged 4 commits intominorfrom
fix-build

Conversation

@WiserTixx
Copy link
Collaborator

By creating this pull request, I understand that code that is AI generated or otherwise automatically generated may be rejected without further discussion.
I declare that I fully understand all code I pushed into this PR, and wrote all this code myself and own the rights to this code.

Copy link
Collaborator

@SaltySnail SaltySnail left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@WiserTixx WiserTixx merged commit 420c64f into minor Dec 20, 2025
7 checks passed
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