Skip to content

Conversation

nicolasstucki
Copy link
Contributor

The warning was removed in #12261

Fixes #14332

The warning was removed in scala#12261

Fixes scala#14332
@odersky odersky merged commit 22b9b01 into scala:master Jan 24, 2022
@odersky odersky deleted the fix-#14332 branch January 24, 2022 14:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Nightly Dotty workflow of 2022-01-24 failed
3 participants