Make managed_boxes feature gate error less opinionated#10181
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 1, 2013
Merged
Make managed_boxes feature gate error less opinionated#10181bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
