diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-08-12 12:06:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-12 12:06:37 +0200 |
| commit | cf9081c0a1a7132854f9fe36b09c1a2752d787f2 (patch) | |
| tree | ab626f5b70da77950c0cf01ab4373e953774f950 /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | 1d0792bd808af5378fe9e8fef09d4d5e3ca5eb6e (diff) | |
| parent | 2801ae83d5dea4a3505f452eb31f1c117275c3a8 (diff) | |
| download | rust-cf9081c0a1a7132854f9fe36b09c1a2752d787f2.tar.gz rust-cf9081c0a1a7132854f9fe36b09c1a2752d787f2.zip | |
Rollup merge of #114734 - oli-obk:vacation_time, r=oli-obk
Mark oli as "on vacation"
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions