From f7009e238a462cbce92b7701c3ff2587f6ac4626 Mon Sep 17 00:00:00 2001
From: Nick Mathewson <nickm@torproject.org>
Date: Tue, 1 Mar 2022 15:38:46 -0500
Subject: [PATCH] add_warning: remove clone_on_ref_ptr

See !352
---
 maint/add_warning | 1 -
 1 file changed, 1 deletion(-)

diff --git a/maint/add_warning b/maint/add_warning
index d2ceb6a24..2606e197a 100755
--- a/maint/add_warning
+++ b/maint/add_warning
@@ -17,7 +17,6 @@ WANT_LINTS = """
 #![deny(clippy::checked_conversions)]
 #![warn(clippy::cognitive_complexity)]
 #![deny(clippy::cargo_common_metadata)]
-#![warn(clippy::clone_on_ref_ptr)]
 #![deny(clippy::debug_assert_with_mut_call)]
 #![deny(clippy::exhaustive_enums)]
 #![deny(clippy::exhaustive_structs)]