Skip to content

Conversation

@dipinknair
Copy link
Contributor

as title says

@github-actions github-actions bot added documentation Improvements or additions to documentation maintenance Package and maintenance related labels Feb 18, 2025
@RobPasMue RobPasMue merged commit ed43688 into main Feb 18, 2025
6 of 7 checks passed
@RobPasMue RobPasMue deleted the maint/doc branch February 18, 2025 15:55
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 maintenance Package and maintenance related

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants