Skip to content

Remove unused DefPathTable::retrace_path()#43361

Merged
bors merged 1 commit intorust-lang:masterfrom
michaelwoerister:remove-retrace-path
Jul 24, 2017
Merged

Remove unused DefPathTable::retrace_path()#43361
bors merged 1 commit intorust-lang:masterfrom
michaelwoerister:remove-retrace-path

Commits

Commits on Jul 20, 2017