Skip to content

target: remove Box returned by get_targets#56747

Merged
bors merged 1 commit intorust-lang:masterfrom
ljedrz:remove_box_from_target
Dec 15, 2018

Commits

Commits on Dec 12, 2018