Skip to content

1.13 build fix oops#1950

Merged
pr3y merged 1 commit into
mainfrom
dev
Dec 24, 2025
Merged

1.13 build fix oops#1950
pr3y merged 1 commit into
mainfrom
dev

Conversation

@pr3y
Copy link
Copy Markdown
Member

@pr3y pr3y commented Dec 24, 2025

Missed condition caused build error

@pr3y pr3y merged commit 75d4862 into main Dec 24, 2025
5 of 6 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.

1 participant