Skip to content

Remove unnecessary guard from migration warnings#18827

Merged
nicolasstucki merged 1 commit intoscala:mainfrom
dotty-staging:remove-unnecessary-guard-from-migration-warnings
Nov 3, 2023

Commits

Commits on Nov 2, 2023