mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-29 11:51:31 +03:00
6d7160ce97
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.