Auto merge of rust-lang#12748 - nnethercote:add-missing-strip, r=weih…

…anglo

Add missing `strip` entries in `dev` and `release` profiles.

The docs for the `dev` and `release` profiles mention 10 of the 11 possible profile settings. This commit adds the missing `strip` entries.

src/doc/src/reference/profiles.md

@@ -270,6 +270,7 @@ The default settings for the `dev` profile are:
 opt-level = 0
 debug = true
 split-debuginfo = '...'  # Platform-specific.
+strip = false
 debug-assertions = true
 overflow-checks = true
 lto = false
@@ -292,6 +293,7 @@ The default settings for the `release` profile are:
 opt-level = 3
 debug = false
 split-debuginfo = '...'  # Platform-specific.
+strip = false
 debug-assertions = false
 overflow-checks = false
 lto = false