From a7b3772ba484ddd4bc6abd8294ae93ae7d71c0e5 Mon Sep 17 00:00:00 2001 From: Wout Mertens Date: Fri, 11 Aug 2017 23:55:01 +0200 Subject: [PATCH] Rename to PR # --- rfcs/{0000-intensional-store.md => 0017-intensional-store.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename rfcs/{0000-intensional-store.md => 0017-intensional-store.md} (100%) diff --git a/rfcs/0000-intensional-store.md b/rfcs/0017-intensional-store.md similarity index 100% rename from rfcs/0000-intensional-store.md rename to rfcs/0017-intensional-store.md