diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-07-18 19:06:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-18 19:06:04 +0200 |
| commit | dd8fabb7a12eee76d2bb4d2916e945b4e5399c6f (patch) | |
| tree | 57cfad97d5db29fd8998f8da1c9d0e0e2ed8eac3 /compiler/rustc_errors/src/json.rs | |
| parent | 994e2e4facccdbd3e56a3e9d3eec5ba69681e023 (diff) | |
| parent | 1f9fa18e90ceedb252a8114cc8bf92c35f52198c (diff) | |
| download | rust-dd8fabb7a12eee76d2bb4d2916e945b4e5399c6f.tar.gz rust-dd8fabb7a12eee76d2bb4d2916e945b4e5399c6f.zip | |
Rollup merge of #113828 - spastorino:ping-spastorino-smir, r=oli-obk
Ping spastorino on changes to SMIR r? `@oli-obk`
Diffstat (limited to 'compiler/rustc_errors/src/json.rs')
0 files changed, 0 insertions, 0 deletions
