Skip to content

Conversation

jgarte
Copy link
Contributor

@jgarte jgarte commented Apr 2, 2025

This PR fixes a typo in a docstring.

See this associated issue:

mint-lang/mint-website#24

@gdotdesign gdotdesign merged commit f7138c3 into mint-lang:master Apr 3, 2025
3 checks passed
@gdotdesign
Copy link
Member

Thank you 🙏

@gdotdesign gdotdesign added this to the 0.24.0 milestone Apr 3, 2025
@jgarte
Copy link
Contributor Author

jgarte commented Apr 3, 2025

Thank you as well 🙏

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants