Skip to content

Commit dd2feed

Browse files
committed
Merge RFC #1211 (MIR)
1 parent 7f88c87 commit dd2feed

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

text/0000-mir.md renamed to text/1211-mir.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
- Feature Name: N/A
22
- Start Date: (fill me in with today's date, YYYY-MM-DD)
3-
- RFC PR: (leave this empty)
4-
- Rust Issue: (leave this empty)
3+
- RFC PR: [rust-lang/rfcs#1211](https://github.com/rust-lang/rfcs/pull/1211)
4+
- Rust Issue: [rust-lang/rust#27840](https://github.com/rust-lang/rust/issues/27840)
55

66
# Summary
77

0 commit comments

Comments
 (0)