Skip to content

Conversation

Shinobi47
Copy link

No description provided.

@glalloue
Copy link
Contributor

glalloue commented Jul 2, 2024

@Shinobi47 : your PR is approved, so you can merge it ;)

@glalloue glalloue added the 🗒️ documentation Improvements or additions to documentation label Jul 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🗒️ documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants