From 58e44f96b09fd4f6906e0eb1b8df698266d44c9c Mon Sep 17 00:00:00 2001
From: rustbot <rustbot@users.noreply.github.com>
Date: Thu, 4 Feb 2021 12:28:42 +0000
Subject: [PATCH] ices/80207.rs: fixed with no errors

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

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