Matthias Krüger 68f12338af Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726 ... Remove double spaces after dots in comments Most of the comments do not have double spaces, so I assume these are typos.		2023-01-17 20:21:25 +01:00
..
errors	Rollup merge of #101936 - IntQuant:issue-100717-infer-4, r=compiler-errors	2023-01-07 20:43:18 +01:00
infer	Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726	2023-01-17 20:21:25 +01:00
traits	Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726	2023-01-17 20:21:25 +01:00
lib.rs	Remove #![allow(rustc::potential_query_instability)] from rustc_infer	2022-10-28 15:32:49 +02:00