Skip to content

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

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

Commits

Commits on Feb 9, 2022