From 1757234f0154a893882ad3e927f7dc218273f155 Mon Sep 17 00:00:00 2001 From: Arseny Kapoulkine Date: Wed, 22 Jun 2022 11:16:38 -0700 Subject: [PATCH] Rename none-and-unknown-types.md to never-and-unknown-types.md This makes the type names match. --- rfcs/{none-and-unknown-types.md => never-and-unknown-types.md} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename rfcs/{none-and-unknown-types.md => never-and-unknown-types.md} (99%) diff --git a/rfcs/none-and-unknown-types.md b/rfcs/never-and-unknown-types.md similarity index 99% rename from rfcs/none-and-unknown-types.md rename to rfcs/never-and-unknown-types.md index 0085ef07..d996afc6 100644 --- a/rfcs/none-and-unknown-types.md +++ b/rfcs/never-and-unknown-types.md @@ -1,4 +1,4 @@ -# Add never and unknown types +# never and unknown types ## Summary