Remove strip = "off"
(and undocumented strip = "n"
/strip = "no"
)#10376
Merged
bors merged 1 commit intorust-lang:masterfrom joshtriplett:strip-no-offFeb 9, 2022
+6-6
strip = "off"
(and undocumented strip = "n"
/strip = "no"
)#10376