Skip to content

Conversation

@N-Olbert
Copy link
Contributor

Summary of the changes (Less than 80 chars)

Closes #bugnumber (in this specific format)

@github-actions github-actions bot added the 📚 documentation This issue is about working on our documentation. label Sep 25, 2025
@tobias-tengler tobias-tengler merged commit 7950478 into ChilliCream:main Sep 25, 2025
10 of 11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

📚 documentation This issue is about working on our documentation.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants