Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Minor copyediting #2582

Merged
merged 2 commits into from
Mar 14, 2025
Merged

Minor copyediting #2582

merged 2 commits into from
Mar 14, 2025

Conversation

x9136
Copy link
Collaborator

@x9136 x9136 commented Mar 14, 2025

Type of change

❌ Bug fix (non-breaking change which fixes an issue)
✅ General change (non-breaking change that doesn't fit the above categories, such as copyediting)

@github-actions github-actions bot added the docs Improvements or additions to documentation. label Mar 14, 2025
@x9136 x9136 merged commit ae01519 into develop Mar 14, 2025
6 checks passed
@x9136 x9136 deleted the x9136-patch-1 branch March 14, 2025 22:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Improvements or additions to documentation.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant