Skip to content

chore(CMakeList): pin wslay to the current HEAD of master#51

Merged
tyoshino merged 1 commit into
mainfrom
tyoshino/pin
May 4, 2026
Merged

chore(CMakeList): pin wslay to the current HEAD of master#51
tyoshino merged 1 commit into
mainfrom
tyoshino/pin

Conversation

@tyoshino
Copy link
Copy Markdown
Collaborator

@tyoshino tyoshino commented May 4, 2026

No description provided.

@tyoshino tyoshino requested a review from wenbozhu May 4, 2026 11:57
@tyoshino tyoshino merged commit 55de40a into main May 4, 2026
2 checks passed
@tyoshino tyoshino deleted the tyoshino/pin branch May 4, 2026 11:59
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