Skip to content

Update to preferred name#40

Merged
egrace479 merged 1 commit into
mainfrom
patch/name-fix
May 14, 2026
Merged

Update to preferred name#40
egrace479 merged 1 commit into
mainfrom
patch/name-fix

Conversation

@egrace479
Copy link
Copy Markdown
Member

As done in 9c7067e

@egrace479 egrace479 requested a review from thompsonmj May 13, 2026 22:14
@egrace479 egrace479 added the documentation Improvements or additions to documentation label May 13, 2026
@egrace479 egrace479 merged commit 84b40ca into main May 14, 2026
9 checks passed
@egrace479 egrace479 deleted the patch/name-fix branch May 14, 2026 14:42
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.

2 participants