Rename rust_2015 → is_rust_2015#107559
Merged
bors merged 2 commits intorust-lang:masterfrom Feb 2, 2023
Hidden character warning
The head ref may contain hidden characters: "is_it_2015\u00bf"
Merged
rust_2015 → is_rust_2015#107559