diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-12 18:20:27 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-02-12 18:20:27 +0000 |
commit | 935830d05bcf5f0c648e636dcbc8848a201467c0 (patch) | |
tree | ff289b26eb96e2dd9fdfaf24f5c73f0f2487a2d1 /crates/hir_ty/src/tests/method_resolution.rs | |
parent | 88253907f4bc3beaa7b8f2e58cb652f653f92d56 (diff) | |
parent | 8814d1368d6712fd85074d77e33be610f01566c4 (diff) |
Merge #7655
7655: Include a commit log summary in the changelog r=matklad a=lnicola
This version omits any direct pushes, and maybe even pull requests merged from the GitHub UI. But I think it makes writing the release notes easier.
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/tests/method_resolution.rs')
0 files changed, 0 insertions, 0 deletions