diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-05-25 22:15:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-25 22:15:19 +0200 |
| commit | 0ded36f729b6fb9fb110692f6725e27f3bf739b0 (patch) | |
| tree | d89343e1c78855a59c9361a5a8a7d5047173ec53 /compiler/rustc_ast/src | |
| parent | 64730a1632f4b13923ee32782cd4718613aea9a3 (diff) | |
| parent | f1a18da4bb6a976cefea5f0341f6898fec436660 (diff) | |
| download | rust-0ded36f729b6fb9fb110692f6725e27f3bf739b0.tar.gz rust-0ded36f729b6fb9fb110692f6725e27f3bf739b0.zip | |
Rollup merge of #125523 - saethlin:ctrlc-timeout, r=bjorn3
Exit the process a short time after entering our ctrl-c handler Fixes https://github.com/rust-lang/rust/issues/124212 r? `@bjorn3`
Diffstat (limited to 'compiler/rustc_ast/src')
0 files changed, 0 insertions, 0 deletions