Skip to content

Refactoring TyBox -> TyAdt#39230

Merged
bors merged 4 commits intorust-lang:masterfrom
petrochenkov:nobox
Jan 31, 2017
Merged

Refactoring TyBox -> TyAdt#39230
bors merged 4 commits intorust-lang:masterfrom
petrochenkov:nobox

Commits

Commits on Jan 30, 2017