diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-19 14:18:21 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-19 14:18:21 +0100 |
| commit | deb939ac918a65c8875c488d43914a1c1aa5781b (patch) | |
| tree | e75ba14e9a7ffabc7b15aac738a59be6fd64df25 /crates/hir_ty/src/infer/pat.rs | |
| parent | e7a8977358c108164d3ba39aede67119baa5aaf9 (diff) | |
| parent | 453b9cf6f0e4ad49592f1994cc328b26dc88bd2e (diff) | |
Merge #8502
8502: internal: document review requesting etiquette r=matklad a=matklad
* don't feel obliged to quickly review every PR assigned to you
* so that other folks can notify you about interesting PRs without
thinking to much about creating additional work for you
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/infer/pat.rs')
0 files changed, 0 insertions, 0 deletions