From 5649773362f81324aca941a83d07b2210d82fc91 Mon Sep 17 00:00:00 2001
From: Nicholas Nethercote <n.nethercote@gmail.com>
Date: Thu, 28 Sep 2023 17:07:08 +1000
Subject: [PATCH] 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 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/doc/src/reference/profiles.md b/src/doc/src/reference/profiles.md
index 1732c491e72..3ea2b5560a5 100644
--- a/src/doc/src/reference/profiles.md
+++ b/src/doc/src/reference/profiles.md
@@ -233,6 +233,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
@@ -255,6 +256,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