Skip to content

Conversation

@zielinsky
Copy link
Member

Fixes #22144

@som-snytt
Copy link
Contributor

It's been a while since I used the old shell banner, but when I did, it inspired me with community spirit!

@zielinsky zielinsky force-pushed the i22144 branch 5 times, most recently from 2aaf1a1 to 21f2778 Compare November 5, 2025 10:25
@WojciechMazur WojciechMazur changed the title Add library3.properties Add library.properties to resources of scala-library jars Nov 6, 2025
@WojciechMazur WojciechMazur merged commit 9e26ce6 into scala:main Nov 6, 2025
53 checks passed
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.

Show correct version when using util.Properties.versionNumberString

3 participants