From e72daa013a59d21ace2c4e8a44f7f996e05ae736 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Fri, 8 Apr 2016 16:55:00 -0400 Subject: [PATCH] merge RFC #1513 --- text/{0000-less-unwinding.md => 1513-less-unwinding.md} | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) rename text/{0000-less-unwinding.md => 1513-less-unwinding.md} (99%) diff --git a/text/0000-less-unwinding.md b/text/1513-less-unwinding.md similarity index 99% rename from text/0000-less-unwinding.md rename to text/1513-less-unwinding.md index dc665b4a9ec..a46c736e077 100644 --- a/text/0000-less-unwinding.md +++ b/text/1513-less-unwinding.md @@ -1,7 +1,7 @@ - Feature Name: `panic_runtime` - Start Date: 2016-02-25 -- RFC PR: (leave this empty) -- Rust Issue: (leave this empty) +- RFC PR: https://github.com/rust-lang/rfcs/pull/1513 +- Rust Issue: https://github.com/rust-lang/rust/issues/32837 # Summary [summary]: #summary