Skip to content

Unignore fix_edition_2021.#9662

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:unignore-fix_edition_2021
Jul 12, 2021
Merged

Unignore fix_edition_2021.#9662
bors merged 1 commit intorust-lang:masterfrom
ehuss:unignore-fix_edition_2021

Commits

Commits on Jul 7, 2021