Skip to content

Remove unnecessary guard from migration warnings#18827

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