]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6184a96 6d26ea8)
Auto merge of #104023 - Nilstrieb:cleanup-query, r=cjgillot
authorbors <bors@rust-lang.org>
Tue, 8 Nov 2022 03:03:38 +0000 (03:03 +0000)
committerbors <bors@rust-lang.org>
Tue, 8 Nov 2022 03:03:38 +0000 (03:03 +0000)
Several query cleanups

A few cleanups, mostly about naming in `rustc_query_system`.

r? `@cjgillot`


Trivial merge
Empowering everyone to build reliable and efficient software.