fix Registry::args for plugins loaded with --extra-plugins#33378
Merged
bors merged 1 commit intorust-lang:masterfrom May 20, 2016
Merged
fix Registry::args for plugins loaded with --extra-plugins#33378bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
