From b83ae10ca3c5db53e217f3cd6b3aedcd08c0b997 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 17 Jun 2024 12:37:52 +0200 Subject: [PATCH] update filename and RFC number --- text/{0000-unsafe-aliased.md => 0000-unsafe-pinned.md} | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) rename text/{0000-unsafe-aliased.md => 0000-unsafe-pinned.md} (99%) diff --git a/text/0000-unsafe-aliased.md b/text/0000-unsafe-pinned.md similarity index 99% rename from text/0000-unsafe-aliased.md rename to text/0000-unsafe-pinned.md index d45b52ec8e1..2f6576d8d68 100644 --- a/text/0000-unsafe-aliased.md +++ b/text/0000-unsafe-pinned.md @@ -1,8 +1,8 @@ -# `unsafe_aliased` +# `unsafe_pinned` -- Feature Name: `unsafe_aliased` +- Feature Name: `unsafe_pinned` - Start Date: 2022-11-05 -- RFC PR: [rust-lang/rfcs#0000](https://github.com/rust-lang/rfcs/pull/0000) +- RFC PR: [rust-lang/rfcs#3467](https://github.com/rust-lang/rfcs/pull/3467) - Rust Issue: [rust-lang/rust#0000](https://github.com/rust-lang/rust/issues/0000) # Summary