Skip to content

make soft_unstable show up in future breakage reports#116274

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:soft_unstableDec 25, 2023