diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-04-08 14:31:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-08 14:31:10 +0200 |
| commit | 4daaf19138695b7b75a46f1a07e014fcedd357e9 (patch) | |
| tree | 9c92e0a4aacbdec90efc0bde057daa4fe5643e53 /clippy_lints | |
| parent | 71e02a01a14b00c8bbc4a679d258c07270bfe226 (diff) | |
| parent | ca92c0a7a472e3d641bb5b38e69851317dc0986a (diff) | |
| download | rust-4daaf19138695b7b75a46f1a07e014fcedd357e9.tar.gz rust-4daaf19138695b7b75a46f1a07e014fcedd357e9.zip | |
Rollup merge of #122807 - danielhuang:fix-1, r=davidtwco
Add consistency with phrases "meantime" and "mean time" "mean time" is used in a few places while "meantime" is used everywhere else; this would make usage consistent throughout the codebase.
Diffstat (limited to 'clippy_lints')
| -rw-r--r-- | clippy_lints/src/misc.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clippy_lints/src/misc.rs b/clippy_lints/src/misc.rs index f5ce8dd29b1..3cf054e7207 100644 --- a/clippy_lints/src/misc.rs +++ b/clippy_lints/src/misc.rs @@ -66,7 +66,7 @@ declare_clippy_lint! { /// /// ### Known problems /// The lint does not work properly with desugaring and - /// macro, it has been allowed in the mean time. + /// macro, it has been allowed in the meantime. /// /// ### Example /// ```no_run |