bjorn3 e0002c1892 Remove MIR dump on panic
I haven't used it for a long time and it adds a lot of noise to the
panic print.
2020-10-11 13:24:14 +02:00
..
2020-10-08 19:00:21 +02:00
2020-10-11 13:24:14 +02:00