Skip to content

Skip threading over no-op SetDiscriminant.#119675

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

Commits

Commits on Jan 7, 2024