Skip to content

Conversation

@drinkcoffee
Copy link
Contributor

Small PR to fix small issue that someone pointed out.

@drinkcoffee drinkcoffee requested a review from a team October 29, 2024 01:07
@drinkcoffee drinkcoffee requested a review from ermyas October 30, 2024 23:49
@drinkcoffee drinkcoffee merged commit a04f7ec into main Oct 31, 2024
8 checks passed
@drinkcoffee drinkcoffee deleted the peter-minor-typo1 branch February 25, 2025 06:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants