diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-12 09:23:04 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-12 09:23:04 +0000 |
commit | c0e9530fd095317563532c20f13959619515c9b2 (patch) | |
tree | 9bb8c4b78a4525ecf758a2106254bf135d8a68f3 /crates/hir_ty | |
parent | c01ef6eabab1fa70d3fdfed9c565fadec9f0a5ed (diff) | |
parent | 7e217a42e1c2dfd26defb9f448d8b0c57c7fc1a4 (diff) |
Merge #7978
7978: Unify naming r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/hir_ty')
0 files changed, 0 insertions, 0 deletions