Skip to content

docs: Update switcher.json#1111

Merged
hoxbro merged 1 commit intomainfrom
docs_update_json
Feb 9, 2026
Merged

docs: Update switcher.json#1111
hoxbro merged 1 commit intomainfrom
docs_update_json

Conversation

@hoxbro
Copy link
Member

@hoxbro hoxbro commented Feb 9, 2026

resolves #1110 (after having run the dev build)

@hoxbro hoxbro merged commit 833c8f0 into main Feb 9, 2026
17 checks passed
@hoxbro hoxbro deleted the docs_update_json branch February 9, 2026 08: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.

documentation for an unstable development version.

1 participant