add feature gate for managed boxes#9923
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 22, 2013
thestinger:managed_boxes
Merged
add feature gate for managed boxes#9923bors merged 1 commit intorust-lang:masterfrom thestinger:managed_boxes
bors merged 1 commit intorust-lang:masterfrom
thestinger:managed_boxes
