Skip to content

Change the old filename, "src/stage0.txt" to "src/stage0.json" - #1383

Merged
JohnTitor merged 1 commit into
rust-lang:masterfrom
ohno418:change-old-filename
Jul 3, 2022
Merged

Change the old filename, "src/stage0.txt" to "src/stage0.json"#1383
JohnTitor merged 1 commit into
rust-lang:masterfrom
ohno418:change-old-filename

Change the old filename, "src/stage0.txt" to "src/stage0.json"

665f045
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs