From 29cd72547a87c9e0f0cb787152a4cf345b411a82 Mon Sep 17 00:00:00 2001
From: bors <bors@rust-lang.org>
Date: Tue, 16 Apr 2024 08:44:23 +0000
Subject: [PATCH] Delete crate `mario`

---
 ma/ri/mario | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 ma/ri/mario

diff --git a/ma/ri/mario b/ma/ri/mario
deleted file mode 100644
index 8e67e170044..00000000000
--- a/ma/ri/mario
+++ /dev/null
@@ -1 +0,0 @@
-{"name":"mario","vers":"0.0.0","deps":[],"cksum":"3dc3281fda323bf36a1737d1ffc5816c74ee86eadceceaa0f3fe1dcb0f3a0701","features":{},"yanked":false}