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
Merged

Remove unnecessary guard from migration warnings#18827
nicolasstucki merged 1 commit intoscala:mainfrom
dotty-staging:remove-unnecessary-guard-from-migration-warnings

Commits

Commits on Nov 2, 2023