From 9c8bdaa67ea9bc5eccaa62d22d101b5da72559d4 Mon Sep 17 00:00:00 2001
From: Mazdak Farrokhzad <twingoow@gmail.com>
Date: Tue, 27 Feb 2018 21:03:46 +0100
Subject: [PATCH] RFC 2333

---
 text/{0000-prior-art.md => 2333-prior-art.md} | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)
 rename text/{0000-prior-art.md => 2333-prior-art.md} (98%)

diff --git a/text/0000-prior-art.md b/text/2333-prior-art.md
similarity index 98%
rename from text/0000-prior-art.md
rename to text/2333-prior-art.md
index 22fa3ddd787..6934e52dbe4 100644
--- a/text/0000-prior-art.md
+++ b/text/2333-prior-art.md
@@ -1,7 +1,7 @@
-- Feature Name: prior_art
+- Feature Name: `prior_art`
 - Start Date: 2018-02-12
-- RFC PR: (leave this empty)
-- Rust Issue: (leave this empty)
+- RFC PR: [rust-lang/rfcs#2333](https://github.com/rust-lang/rfcs/pull/2333)
+- Rust Issue: **self-executing**
 
 # Summary
 [summary]: #summary
@@ -196,4 +196,4 @@ There are none as of yet.
 
 What is important in this RFC is that we establish whether we want a
 prior art section or not, and what it should contain in broad terms.
-The exact language and wording can always be tweaked beyond this.
\ No newline at end of file
+The exact language and wording can always be tweaked beyond this.