Skip to content

Stabilize the strip profile option, now that rustc has stable -C strip#10088

Merged
bors merged 3 commits intorust-lang:masterfrom
joshtriplett:stabilize-strip
Jan 4, 2022
Merged

Stabilize the `strip` profile option, now that rustc has stable `-C strip`#10088
bors merged 3 commits intorust-lang:masterfrom
joshtriplett:stabilize-strip

Commits

Commits on Dec 24, 2021

Commits on Dec 28, 2021