Skip to content

Ignore all kinds of ProtoTypes instead of just AppliedProtos#6715

Merged
odersky merged 6 commits intoscala:masterfrom
dotty-staging:fix-protos
Jun 20, 2019

Commits

Commits on Jun 19, 2019

Commits on Jun 20, 2019