Skip to content

Fix #12808: Add test#12818

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:fix-12808
Jun 15, 2021
Merged

Fix #12808: Add test#12818
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:fix-12808

Commits

Commits on Jun 14, 2021