Skip to content

Conversation

@mbovel
Copy link
Contributor

@mbovel mbovel commented Dec 8, 2025

No description provided.

@SethTisue
Copy link
Collaborator

to be merged after #914

@mbovel mbovel mentioned this pull request Dec 10, 2025
@SethTisue SethTisue merged commit ea71607 into scalacenter:main Dec 11, 2025
@mbovel mbovel deleted the mb/day8-2025 branch December 11, 2025 15:25
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