Skip to content

Add websockets#191

Merged
flcl42 merged 6 commits into
mainfrom
add-websockets
May 18, 2026
Merged

Add websockets#191
flcl42 merged 6 commits into
mainfrom
add-websockets

Conversation

@flcl42
Copy link
Copy Markdown
Contributor

@flcl42 flcl42 commented May 7, 2026

No description provided.

@flcl42 flcl42 marked this pull request as ready for review May 7, 2026 11:43
@flcl42 flcl42 requested a review from rubo as a code owner May 7, 2026 11:43
@flcl42 flcl42 requested a review from leny62 May 14, 2026 14:52
Copy link
Copy Markdown
Collaborator

@leny62 leny62 left a comment

Choose a reason for hiding this comment

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

LGTM!

@flcl42 flcl42 merged commit 538d817 into main May 18, 2026
2 checks passed
@flcl42 flcl42 deleted the add-websockets branch May 18, 2026 10:28
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