Skip to content

Conversation

@doums
Copy link
Contributor

@doums doums commented Oct 31, 2025

This change is Reviewable

@doums doums requested a review from agentpietrucha October 31, 2025 11:39
@doums doums changed the title tauri: cherrypick from fig release tauri: cherrypick from fig release #3823 #3834 Oct 31, 2025
@doums doums merged commit 25a0700 into develop Oct 31, 2025
10 of 11 checks passed
@doums doums deleted the pierre/cherrypick branch October 31, 2025 11:48
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.

3 participants