RFC 4512

Author: joshtriplett

text/0000-crabi-v1.md renamed to text/4512-crabi-v1.md

@@ -1,6 +1,6 @@
 - Feature Name: `crabi1`
 - Start Date: 2023-07-26
-- RFC PR: [rust-lang/rfcs#0000](https://github.com/rust-lang/rfcs/pull/0000)
+- RFC PR: [rust-lang/rfcs#4512](https://github.com/rust-lang/rfcs/pull/4512)
 - Rust Issue: [rust-lang/rust#0000](https://github.com/rust-lang/rust/issues/0000)
 
 # Summary