Skip to content

Update partial-unification plugin to 1.1.0#1842

Merged
kailuowang merged 1 commit intotypelevel:masterfrom fthomas:partial-unification-1.1.0Aug 28, 2017
+1-1

Commits

Commits on Aug 22, 2017