Skip to content

Shrink LocalDecl#71942

Merged
bors merged 5 commits intorust-lang:masterfrom
nnethercote:shrink-LocalDecl
May 9, 2020
Merged

Shrink `LocalDecl`#71942
bors merged 5 commits intorust-lang:masterfrom
nnethercote:shrink-LocalDecl

Commits

Commits on May 6, 2020