This repository was archived by the owner on May 23, 2024. It is now read-only.

Commit 9937a18

authored

Merge pull request #342 from rust-lang/rename-58987-5.rs

Rename 58987-5.rs to 71611.rs

2 parents 0e1475e + f9957f7 commit 9937a18Copy full SHA for 9937a18

1 file changed

+0

-0

lines changed

ices
- 71611.rs

1 file changed

+0

-0

lines changed

`‎ices/58987-5.rs renamed to ‎ices/71611.rs`

File renamed without changes.

Comments

(0)