Add missing strip entries in dev and release profiles.#12748
Merged
bors merged 1 commit intorust-lang:masterfrom nnethercote:add-missing-stripSep 28, 2023
+2
strip entries in dev and release profiles.#12748