From 8e159e8f8716ea9586dd20f084ca0e6ff7a92cea Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 14 Jan 2021 01:13:11 +0000
Subject: [PATCH] infopane: temporarly mark ipl as unused

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 src/global.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/global.rs b/src/global.rs
index bf63e69d..a50d2b8a 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -420,7 +420,7 @@ impl Instance {
       account: &'r str,
     };
     let players = self.gs.players.iter().filter_map(|(player, gpl)| {
-      let ipl = self.iplayers.get(player)?;
+      let _ipl = self.iplayers.get(player)?;
       let (idx, _) = player.data().get_idx_version();
       Some(RenderPlayer {
         player_num: idx,
-- 
2.30.2