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

..

build

Remove double spaces after dots in comments

2023-01-17 08:09:33 +00:00

thir

suggest fix for attempted integer identifier in patterns

2023-01-14 12:51:20 +13:00

check_unsafety.rs

Don't trim path for unsafe_op_in_unsafe_fn lints

2023-01-03 00:28:54 +01:00

errors.rs

suggest fix for attempted integer identifier in patterns

2023-01-14 12:51:20 +13:00

lib.rs

Migrate pattern matching

2023-01-11 14:40:02 -08:00

lints.rs

Remove double spaces after dots in comments

2023-01-17 08:09:33 +00:00