Skip to content

Conversation

@satorg
Copy link
Contributor

@satorg satorg commented Sep 9, 2025

No description provided.

@satorg satorg self-assigned this Sep 9, 2025
@satorg satorg added documentation behind-the-scenes appreciated, but not user-facing labels Sep 9, 2025
@satorg
Copy link
Contributor Author

satorg commented Sep 9, 2025

Discussion on Discord

@satorg satorg merged commit 4ca27a1 into typelevel:main Sep 10, 2025
16 checks passed
@satorg satorg deleted the fix-typos branch September 10, 2025 05:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

behind-the-scenes appreciated, but not user-facing documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants