Skip to content

Skip threading over no-op SetDiscriminant.#119675

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:set-no-discriminant
Jan 7, 2024

Commits

Commits on Jan 7, 2024