Skip to content

Conversation

@PetitLepton
Copy link
Contributor

No description provided.

@PetitLepton PetitLepton requested a review from PaulArnaud May 16, 2025 13:26
@PetitLepton PetitLepton merged commit a256349 into master May 16, 2025
1 check passed
@PetitLepton PetitLepton deleted the docs/update-bot-name branch May 16, 2025 13:54
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.

3 participants