Skip to content
This repository has been archived by the owner on Sep 26, 2023. It is now read-only.

Fix some capitalization #392

Merged
merged 1 commit into from
Aug 30, 2023
Merged

Fix some capitalization #392

merged 1 commit into from
Aug 30, 2023

Conversation

stinodego
Copy link
Member

No description provided.

@stinodego stinodego merged commit 1e0beaf into master Aug 30, 2023
3 checks passed
@stinodego stinodego deleted the capitalization branch August 30, 2023 21:36
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant