Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Jun 3, 2025

This PR updates the switcher.json file.

@github-actions github-actions bot added the documentation Documentation about a certain topic should be added label Jun 3, 2025
@hansthen hansthen merged commit e3ca7ba into main Jun 3, 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