Only generate miri backtraces if explicitly requested#49083

Merged

bors merged 1 commit intorust-lang:masterfrom

oli-obk:mopsgeschwindigkeit

Mar 17, 2018

Commits on Mar 16, 2018

Only generate miri backtraces if explicitly requested
oli-obk
committed