Skip to content

Remove scope_auxiliary.#37764

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:shrink-scope_auxiliary
Nov 16, 2016
Merged

Remove `scope_auxiliary`.#37764
bors merged 1 commit intorust-lang:masterfrom
nnethercote:shrink-scope_auxiliary

Commits

Commits on Nov 14, 2016