Skip to content

Conversation

jsoref
Copy link
Contributor

@jsoref jsoref commented Jul 21, 2025

Copy link
Contributor

@tgodzik tgodzik left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@tgodzik tgodzik merged commit adb36bf into scala:main Jul 21, 2025
1 check passed
@jsoref jsoref deleted the issue-1812 branch July 21, 2025 16:02
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.

Download all page is misleading
2 participants