Skip to content

If the rustc commit cannot be retrieve, just checkout the repository#399

Merged
antoyo merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:checkout
Dec 21, 2023