Skip to content

Remove-deprecated-IsXYZ-extractors#8122

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:remove-deprecated-IsXYZ-extractors
Jan 29, 2020

Commits

Commits on Jan 29, 2020