Add RFC number

rust-lang · Oct 27, 2024 · a71b873 · a71b873
1 parent 2ffc037
commit a71b873
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/text/0000-never-patterns.md b/text/0000-never-patterns.md
@@ -1,6 +1,6 @@
 - Feature Name: `never_patterns`
-- Start Date: (fill me in with today's date, 2024-10-27)
-- RFC PR: [rust-lang/rfcs#0000](https://github.com/rust-lang/rfcs/pull/0000)
+- Start Date: 2024-10-27
+- RFC PR: [rust-lang/rfcs#3719](https://github.com/rust-lang/rfcs/pull/3719)
 - Rust Issue: [rust-lang/rust#118155](https://github.com/rust-lang/rust/issues/118155)
 
 # Summary