git.lizzy.rs Git - rust.git/commitdiff

]> git.lizzy.rs Git - rust.git/commitdiff

projects / rust.git / commitdiff

summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d4b79ad f2963cf)

author	bors <bors@rust-lang.org>
	Sat, 2 Jul 2022 15:28:29 +0000 (15:28 +0000)
committer	bors <bors@rust-lang.org>
	Sat, 2 Jul 2022 15:28:29 +0000 (15:28 +0000)

fix: typos in hir-ty

Trivial merge

Empowering everyone to build reliable and efficient software.