Skip to content
New issue

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

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

Already on GitHub? # to your account

Comment and/or doc changes. (Meant to be part of similarly-named earlier PR... missed a spot.) #133

Merged

Conversation

ygoldfeld
Copy link
Contributor

No description provided.

@ygoldfeld ygoldfeld self-assigned this Feb 19, 2025
@ygoldfeld
Copy link
Contributor Author

Forgoing code review (comment change only).

@ygoldfeld ygoldfeld merged commit 083959e into main Feb 19, 2025
2 of 48 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant