From ca92c0a7a472e3d641bb5b38e69851317dc0986a Mon Sep 17 00:00:00 2001 From: Dan Date: Wed, 3 Apr 2024 19:03:12 -0400 Subject: update messages --- clippy_lints/src/misc.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'clippy_lints') diff --git a/clippy_lints/src/misc.rs b/clippy_lints/src/misc.rs index ea6e662b4be..be1a35f8fb2 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 -- cgit 1.4.1-3-g733a5