From ebabb85514a1394c30761bcdb1d46a803afb9392 Mon Sep 17 00:00:00 2001
From: rustbot <rustbot@users.noreply.github.com>
Date: Thu, 2 Dec 2021 12:06:57 +0000
Subject: [PATCH] ices/71113.rs: fixed with no errors

=== stdout ===
=== stderr ===
==============
---
 {ices => fixed}/71113.rs | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {ices => fixed}/71113.rs (100%)

diff --git a/ices/71113.rs b/fixed/71113.rs
similarity index 100%
rename from ices/71113.rs
rename to fixed/71113.rs