From 658d7baca1f753cd8e1f913b63403a4620ef0fe0 Mon Sep 17 00:00:00 2001
From: Thomas Otto <th1000s@posteo.net>
Date: Fri, 29 Nov 2024 00:53:16 +0100
Subject: clippy 1.83: silence zombie_processes false positive

But now < 1.83 clippy would complain about an unknown lint, so
allow that, too.
---
 src/subcommands/diff.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/subcommands/diff.rs b/src/subcommands/diff.rs
index 53a36c7..e9b33f9 100644
--- a/src/subcommands/diff.rs
+++ b/src/subcommands/diff.rs
@@ -94,6 +94,9 @@ pub fn diff(
         eprintln!("Failed to execute the command '{diff_bin}': {err}");
         return config.error_exit_code;
     }
+    // 1.83 false positive, see rust-lang/rust-clippy/issues/13748
+    #[allow(unknown_lints)]
+    #[allow(clippy::zombie_processes)]
     let mut diff_process = diff_process.unwrap();
 
     if let Err(error) = delta::delta(
-- 
cgit v1.2.3