Skip to content

Conversation

jessegeens
Copy link
Contributor

No description provided.

Copy link

update-docs bot commented Aug 21, 2025

Thanks for opening this pull request! The maintainers of this repository would appreciate it if you would create a changelog item based on your changes.

@jessegeens jessegeens marked this pull request as ready for review August 21, 2025 09:30
@diocas diocas merged commit 9a765a2 into master Aug 21, 2025
16 checks passed
@diocas diocas deleted the fix/space-update branch August 21, 2025 13:28
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.

2 participants