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