mirror of
https://github.com/rust-lang/rust.git
synced 2025-05-04 05:57:36 +00:00
![]() Use `YYYY-MM-DDTHH_MM_SS` as datetime format for ICE dump files Windows paths do not support `:`, so use a datetime format in ICE dump paths that Windows will accept. CC #116809, fix #115180. |
||
---|---|---|
.. | ||
args.rs | ||
lib.rs | ||
pretty.rs | ||
print.rs | ||
session_diagnostics.rs | ||
signal_handler.rs |