diff options
| author | bors <bors@rust-lang.org> | 2024-08-17 08:30:56 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-08-17 08:30:56 +0000 |
| commit | 94e57fcf54f3cefcc9fa86220ea7b275756cbf26 (patch) | |
| tree | 9abf86f8ba104012b3fbf40ed72021ab35a40383 /compiler/rustc_mir_transform/src/coverage/counters.rs | |
| parent | 83f1b380825d50e3cffe84ef4c39a09bf841a3c1 (diff) | |
| parent | 293be4611db92ec26f4d631794cb4828bb487aa7 (diff) | |
| download | rust-94e57fcf54f3cefcc9fa86220ea7b275756cbf26.tar.gz rust-94e57fcf54f3cefcc9fa86220ea7b275756cbf26.zip | |
Auto merge of #3807 - RalfJung:projects, r=oli-obk
add 'project' process guidlines for larger contributions Fixes https://github.com/rust-lang/miri/issues/3443 I am honestly not entirely sure what the consensus from what issue was. I feel like the epoll PR worked reasonably well, and not having been closely involved I am not sure which process `@oli-obk` followed there. Compared to the first draft in #3443 I tried to make this less formal and framed more as guidelines than hard rules.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/counters.rs')
0 files changed, 0 insertions, 0 deletions