From d2d6fff3fd5dfce1997577607108b849e389d391 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 2 Nov 2021 16:00:27 +0100 Subject: [PATCH] rename according to PR number --- ...ofs-in-kernel.md => 040-no-delayed-opaque-proofs-in-kernel.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename text/{000-no-proofs-in-kernel.md => 040-no-delayed-opaque-proofs-in-kernel.md} (100%) diff --git a/text/000-no-proofs-in-kernel.md b/text/040-no-delayed-opaque-proofs-in-kernel.md similarity index 100% rename from text/000-no-proofs-in-kernel.md rename to text/040-no-delayed-opaque-proofs-in-kernel.md