From 90ff7fce6b25d0dd8cb24c6e1dfdce25634cb08e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Magnenat?=
 <stephane.magnenat@enlightware.ch>
Date: Fri, 20 Dec 2024 11:02:56 +0100
Subject: [PATCH] Added back the disabling of a still buggy clippy lint.

---
 src/lib.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/lib.rs b/src/lib.rs
index a48990a..b068681 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -40,6 +40,10 @@
 //! );
 //! ```
 
+// We forbid the clippy lint here because it suggests to use #[rustfmt::skip],
+// which is experimental. See: https://github.com/rust-lang/rust/issues/88591
+#![allow(clippy::deprecated_cfg_attr)]
+
 extern crate alloc;
 
 mod heap;