From 97249cd1f70e318246b2bfd8b7d16e0ee67018bb 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} | 4 ++-- 1 file changed, 2 insertions(+), 2 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..9874b3775b3 100644 --- a/text/0000-unsafe-aliased.md +++ b/text/0000-unsafe-pinned.md @@ -1,8 +1,8 @@ # `unsafe_aliased` -- 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