Skip to content

std: replace "safe" with "sound" in safety documentation#156572

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
xtqqczze:sound-env
May 18, 2026
Merged

std: replace "safe" with "sound" in safety documentation#156572
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
xtqqczze:sound-env

std: replace "safe" with "sound" in safety documentation

181845e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded May 14, 2026 in 35s