Skip to content

extra::workcache: Remove unused Logger#11468

Merged
bors merged 1 commit intorust-lang:masterfrom
klutzy:workcache-cleanup
Jan 11, 2014
Merged

extra::workcache: Remove unused Logger#11468
bors merged 1 commit intorust-lang:masterfrom
klutzy:workcache-cleanup

Commits

Commits on Jan 11, 2014