From 594cfaa62e519ed085a93d150c3503febbb61717 Mon Sep 17 00:00:00 2001
From: rustbot <rustbot@users.noreply.github.com>
Date: Thu, 27 Aug 2020 12:16:51 +0000
Subject: [PATCH] ices/71699.rs: fixed with no errors

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

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