diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-28 15:15:58 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-02-28 15:15:58 +0000 |
| commit | 358b9a50f73000711371a82546161956f53f8c9c (patch) | |
| tree | 48ece8d9f446b88d7efe6b8695435f2b83423e5d /crates/hir_ty/src/tests/patterns.rs | |
| parent | 803ff2e55eeb6bd1d9028fbbffe34721f0e6d459 (diff) | |
| parent | f5c6c43bd155c2a76b7a05513d398a39ed2719a9 (diff) | |
Merge #7809
7809: Delete old issues from GitHub's bug report template r=lnicola a=saruman9
Co-authored-by: saruman9 <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/tests/patterns.rs')
0 files changed, 0 insertions, 0 deletions