Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Fix pid in local launch#2936

Merged
angeloskath merged 1 commit intomainfrom
fix-launch-local
Dec 19, 2025
Merged

Fix pid in local launch#2936
angeloskath merged 1 commit intomainfrom
fix-launch-local

Conversation

@angeloskath
Copy link
Member

Fixes part of #2935 . Will update with the 2nd part when more info becomes available.

Copy link
Member

@awni awni left a comment

Choose a reason for hiding this comment

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

Ty!!

@angeloskath angeloskath merged commit d9f4d8d into main Dec 19, 2025
14 checks passed
@angeloskath angeloskath deleted the fix-launch-local branch December 19, 2025 21:09
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