Skip to content

Clarify merge with diverged docs updates.

Non-critical documentation updates in the main branch will make a merge from release-2023 to main confusing. This commit attemps to simplify that upcoming merge.

Refs #4767 (closed)

Merge request reports