Merge topic 'patch-docs-4.2-release-notes' 70f3a81769 Help: Add release note for ExternalProject's environment modification options Acked-by: Kitware Robot <kwrobot@kitware.com> Merge-request: !11238