forgot to rename file when I fixed header

rust-lang · Jul 18, 2022 · 796e5e2 · 796e5e2
1 parent d4edb23
commit 796e5e2
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/text/0000-compiler-team-rolling-leads.md → text/3262-compiler-team-rolling-leads.md b/text/0000-compiler-team-rolling-leads.md → text/3262-compiler-team-rolling-leads.md