Skip to content

Fix soundness issue in scoped threads.#94644

Merged
bors merged 4 commits intorust-lang:masterfrom
m-ou-se:scoped-threads-drop-soundness
Mar 10, 2022
Merged

Fix soundness issue in scoped threads.#94644
bors merged 4 commits intorust-lang:masterfrom
m-ou-se:scoped-threads-drop-soundness

Commits

Commits on Mar 9, 2022