Skip to content

Fetch tags when updating the rust repo#263

Merged
oli-obk merged 1 commit intorust-lang:masterfrom
ehuss:fetch-tags
Mar 13, 2023

Commits

Commits on Mar 13, 2023