Skip to content

Disallow traits applied to public prelude shapes#317

Merged
mtdowling merged 1 commit into0.10from no-prelude-apply-traitsMar 16, 2020

Commits

Commits on Mar 15, 2020