Skip to content

[ui] Add exit button in SofaPlayer#189

Merged
epernod merged 1 commit intomainfrom
exit_app
Sep 1, 2025
Merged

[ui] Add exit button in SofaPlayer#189
epernod merged 1 commit intomainfrom
exit_app

Conversation

@epernod
Copy link
Copy Markdown
Contributor

@epernod epernod commented Aug 22, 2025

No description provided.

@epernod epernod added pr: new feature pr: status to review To notify reviewers to review this pull-request labels Aug 22, 2025
@epernod epernod added pr: status ready Approved a pull-request, ready to be squashed and removed pr: status to review To notify reviewers to review this pull-request labels Sep 1, 2025
@epernod epernod merged commit 5ff78c2 into main Sep 1, 2025
@epernod epernod deleted the exit_app branch September 1, 2025 08:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: new feature pr: status ready Approved a pull-request, ready to be squashed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant