Open AndyGauge opened 5 years ago
So quick_main was useful before Rust 1.26, but now is there a use case for it? Should we deprecate its use in 0.13?
quick_main
0.13
So
quick_main
was useful before Rust 1.26, but now is there a use case for it? Should we deprecate its use in0.13
?