also support old 'cargo miri run -- -- args' style#1556
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 21, 2020
Merged
also support old 'cargo miri run -- -- args' style#1556bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
