doc/release-notes: initial cleanup for 24.11 #346059
Merged
Commits on Nov 6, 2024
-
doc/release-notes: remove MenhirLib from new modules section
This is not a module
-
doc/release-notes: cleanup highlights
The main goal is to make these highlights a bit more concise, consistently link to newly introduced option definitions, and (somewhat subjectively) improve word choice to avoid repetition and have a better flow
-
doc/release-notes: cleanup backward incompatibilities section
The main goal is to make these points a bit more concise, have better consistency in how removals and deprecations are described, and improve grammar/flow
-
doc/release-notes: cleanup notable changes section
The main goal is to make these points a bit more concise, fix errors, and (somewhat subjectively) improve word choice to avoid repetition and have a better flow
-
doc/release-notes: correctly place backwards incompatible changes
These changes seemed to have been placed in the wrong section
-
-
doc/release-notes: RFC 42 -> freeform options
"Freeform options" is a term that's a bit more meaningful to regular users who don't follow development, and thus does a better job at describing the changes
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.