Skip to content

Remove strip = "off" (and undocumented strip = "n"/strip = "no")#10376

Merged
bors merged 1 commit intorust-lang:masterfrom
joshtriplett:strip-no-off
Feb 9, 2022
Merged

Remove `strip = "off"` (and undocumented `strip = "n"`/`strip = "no"`)#10376
bors merged 1 commit intorust-lang:masterfrom
joshtriplett:strip-no-off

Commits

Commits on Feb 9, 2022