remove no longer required #[allow(clippy::mutable_key_type)] (#6210)

* remove no longer required clippy::mutable_key_type lint
This commit is contained in:
João Oliveira
2024-08-01 01:26:26 +01:00
committed by GitHub
parent c7ded10870
commit d9f8b13e36
3 changed files with 0 additions and 6 deletions

View File

@@ -5,7 +5,6 @@
mod config;
pub mod service;
#[allow(clippy::mutable_key_type)] // PeerId in hashmaps are no longer permitted by clippy
pub mod discovery;
pub mod listen_addr;
pub mod metrics;