Skip to content

Fix bug in PR#140

Merged
xuyuon merged 1 commit into
kazewong:run-managerfrom
thomasckng:run-manager-dev
Aug 30, 2024
Merged

Fix bug in PR#140
xuyuon merged 1 commit into
kazewong:run-managerfrom
thomasckng:run-manager-dev

Conversation

@thomasckng

Copy link
Copy Markdown
Collaborator

Fixed bug mentioned in #139 (comment)

@xuyuon xuyuon left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Thanks Thomas

@xuyuon xuyuon merged commit 863f34c into kazewong:run-manager Aug 30, 2024
@thomasckng thomasckng deleted the run-manager-dev branch August 30, 2024 01:49
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