Skip to content

Fix #8716 and fix #8717: Add missing extension span#8720

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:fix-#8717
Apr 15, 2020

Commits

Commits on Apr 14, 2020