Skip to content

Conversation

@curquiza
Copy link
Member

No description provided.

@curquiza curquiza added the documentation Improvements or additions to documentation label Apr 17, 2025
@curquiza curquiza requested a review from guimachiavelli April 17, 2025 15:15
@guimachiavelli guimachiavelli marked this pull request as ready for review April 28, 2025 11:56
@curquiza
Copy link
Member Author

bors merge

@meili-bors
Copy link
Contributor

meili-bors bot commented Apr 28, 2025

@meili-bors meili-bors bot merged commit 1603f44 into main Apr 28, 2025
11 checks passed
@meili-bors meili-bors bot deleted the curquiza-patch-1 branch April 28, 2025 12:54
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