Fetch maven metadata from Dotty plugin via HTTPS#8014

Merged

nicolasstucki merged 1 commit intoscala:masterfrom

dotty-staging:dotty-plugin-fix

Jan 16, 2020

Commits on Jan 16, 2020

Fetch maven metadata from Dotty plugin via HTTPS
anatoliykmetyuk
committed