From a3ed205b6fa593252d2db9de4c28464a6fef888b Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 2 Aug 2020 23:53:40 +0100
Subject: [PATCH] use concat

---
 src/global.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/global.rs b/src/global.rs
index 45d9dfeb..445b76f5 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -562,8 +562,7 @@ fn savefilename_parse(leaf: &[u8]) -> SavefilenameParseResult {
   if rhs.rfind('.').is_some() { return TempToDelete }
   let scoped_name = percent_decode_str(rhs).decode_utf8()?.into();
   GameFile {
-    access_leaf : [ b"a-", after_ftype_prefix ]
-      .iter().flat_map(|s| s.iter()).map(|c| *c).collect(),
+    access_leaf : [ b"a-", after_ftype_prefix ].concat(),
     name : InstanceName { scope, scoped_name },
   }
 }
-- 
2.30.2