Skip to content

Conversation

@github-actions
Copy link
Contributor

This PR updates the switcher.json file.

@github-actions github-actions bot added the documentation Documentation about a certain topic should be added label May 15, 2025
@hansthen hansthen merged commit fc2db42 into main May 15, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Documentation about a certain topic should be added

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants