From 3e039d892ae924f955b6c9a2981a35c53a0d25c5 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 23 Aug 2020 22:59:30 +0100 Subject: [PATCH] done --- src/cmdlistener.rs | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/cmdlistener.rs b/src/cmdlistener.rs index 4053d6eb..4f24c590 100644 --- a/src/cmdlistener.rs +++ b/src/cmdlistener.rs @@ -148,7 +148,6 @@ fn execute_game_insn(cs: &CommandStream, htmlescape::encode_minimal(&pl.nick)), }; let (player, logentry) = ig.player_new(pl, logentry)?; - #[allow(clippy::useless_format)] // xxx below (U{ pcs: vec![], log: vec![ logentry ], raw: None }, @@ -166,7 +165,6 @@ fn execute_game_insn(cs: &CommandStream, RemovePlayer(player) => { let old_state = ig.player_remove(player)?; - #[allow(clippy::useless_format)] // xxx below (U{ pcs: vec![], log: old_state.iter().map(|pl| LogEntry { html: format!("The facilitator removed a player: {}", -- 2.30.2