From 3662684cea15e805e0365a68e4d581ee7ba095fa Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 6 Dec 2020 01:18:12 +0000
Subject: [PATCH] formatting, some from rustfmt (manually picked)

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 b66b9953..bb4389df 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -1284,7 +1284,7 @@ pub fn game_flush_task() {
       match ig.save_game_now() {
         Ok(_) => {
           assert!(!ig.c.game_dirty);
-        },
+        }
         Err(e) => {
           // todo: notify the players
           error!("save error! name={:?}: {}", &ig.name, &e);
-- 
2.30.2