Merge pull request #2757 from ehuss/clippy-needless-lifetimes

Remove clippy needless-lifetimes workaround
This commit is contained in:
Eric Huss 2025-07-21 16:41:17 +00:00 committed by GitHub
commit 0eabdb0169
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -5,7 +5,6 @@ members = [".", "examples/remove-emphasis/mdbook-remove-emphasis"]
all = { level = "allow", priority = -2 }
correctness = { level = "warn", priority = -1 }
complexity = { level = "warn", priority = -1 }
needless-lifetimes = "allow" # Remove once 1.87 is stable, https://github.com/rust-lang/rust-clippy/issues/13514
[package]
name = "mdbook"