Rename file (allowing file diff on previous commit)

rust-lang · May 10, 2022 · d2a0f18 · d2a0f18
1 parent ba590dc
commit d2a0f18
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/text/3263-pre-release-sticky.md → text/3263-precise-pre-release-deps.md b/text/3263-pre-release-sticky.md → text/3263-precise-pre-release-deps.md