Fix so update.sh script warns about changed defaults (#7011)
Description
Description
Details
Details
- Provenance
machniak Authored on Nov 12 2019, 7:30 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:b63bc1ae2264: Fix misleading comment
- Branches
- Unknown
- Tags