Skip to content

📚 Minor documentation fixes#638

Merged
nevans merged 2 commits intomasterfrom
minor-documentation-fixes
Apr 10, 2026
Merged

📚 Minor documentation fixes#638
nevans merged 2 commits intomasterfrom
minor-documentation-fixes

Conversation

@nevans
Copy link
Copy Markdown
Collaborator

@nevans nevans commented Apr 10, 2026

No description provided.

@nevans nevans added the documentation Improvements or additions to documentation label Apr 10, 2026
@nevans nevans merged commit e96ba55 into master Apr 10, 2026
39 checks passed
@nevans nevans deleted the minor-documentation-fixes branch April 10, 2026 23:20
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.

1 participant