From f36a526596b2d432a7008f2ea5beab19a2bc08b6 Mon Sep 17 00:00:00 2001
From: bors <bors@rust-lang.org>
Date: Tue, 16 Apr 2024 08:39:33 +0000
Subject: [PATCH] Delete crate `pinocchio`

---
 pi/no/pinocchio | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 pi/no/pinocchio

diff --git a/pi/no/pinocchio b/pi/no/pinocchio
deleted file mode 100644
index d1854df7436..00000000000
--- a/pi/no/pinocchio
+++ /dev/null
@@ -1,4 +0,0 @@
-{"name":"pinocchio","vers":"0.0.0","deps":[],"cksum":"306f26819760b6a96c8dee1ff32492da659996a33fdb40a64c2ec903990e2c17","features":{},"yanked":true}
-{"name":"pinocchio","vers":"0.0.1","deps":[],"cksum":"ffdf02f7a3b5e343d2648d7a88f95bab03bd552158190bfddc29cd1007686633","features":{},"yanked":true}
-{"name":"pinocchio","vers":"0.2.0","deps":[],"cksum":"256a9153014cff164fca2641e6c2f2a925298e174a8a6a960ef53cc6c7bea52c","features":{},"yanked":true}
-{"name":"pinocchio","vers":"0.1.0","deps":[],"cksum":"871fd299a1c970fad74ff031e08f56783b3d514f1877d95453540c18997a935a","features":{},"yanked":false}