Skip to content

Update links for custom discriminants.#109317

Merged
bors merged 1 commit into
rust-lang:masterfrom
ehuss:discriminant-link-fix
Mar 22, 2023
Merged

Update links for custom discriminants.#109317
bors merged 1 commit into
rust-lang:masterfrom
ehuss:discriminant-link-fix

Update links for custom discriminants.

572c56c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs