From 82ef2bb0e28884207a2c59d42d6fbf2918153ec4 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 14 Nov 2019 10:16:44 +0100 Subject: [PATCH] rename miri-issue to issue-miri for grouping --- tests/run-pass/{miri-issue-133.rs => issue-miri-133.rs} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tests/run-pass/{miri-issue-133.rs => issue-miri-133.rs} (100%) diff --git a/tests/run-pass/miri-issue-133.rs b/tests/run-pass/issue-miri-133.rs similarity index 100% rename from tests/run-pass/miri-issue-133.rs rename to tests/run-pass/issue-miri-133.rs