Skip to content

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Dec 20, 2023

Fixes #19304

@nicolasstucki nicolasstucki merged commit 58b8108 into scala:main Dec 21, 2023
@nicolasstucki nicolasstucki deleted the fix-19304 branch December 21, 2023 10:27
@Kordyjan Kordyjan added this to the 3.4.1 milestone Feb 14, 2024
WojciechMazur added a commit that referenced this pull request Jun 26, 2024
Backports #19318 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
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.

@static annotation does not work for given
3 participants