Skip to content

ws: fix nav buttons#3967

Merged
tvanderstad merged 1 commit intomasterfrom
fix-nav-buttons
Nov 16, 2025
Merged

ws: fix nav buttons#3967
tvanderstad merged 1 commit intomasterfrom
fix-nav-buttons

Conversation

@tvanderstad
Copy link
Copy Markdown
Contributor

No description provided.

@tvanderstad tvanderstad merged commit a8fb8d4 into master Nov 16, 2025
1 check passed
@tvanderstad tvanderstad deleted the fix-nav-buttons branch November 16, 2025 22:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant