Skip to content

Added port parameter#37

Merged
gensyn merged 1 commit into
mainfrom
port-parameter
Jun 23, 2026
Merged

Added port parameter#37
gensyn merged 1 commit into
mainfrom
port-parameter

Conversation

@gensyn

@gensyn gensyn commented Jun 23, 2026

Copy link
Copy Markdown
Owner

No description provided.

@gensyn gensyn linked an issue Jun 23, 2026 that may be closed by this pull request
@gensyn gensyn merged commit 10a1afc into main Jun 23, 2026
5 checks passed
@gensyn gensyn deleted the port-parameter branch June 23, 2026 09:14
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.

Port parameter

1 participant