diff --git a/jenkins/scripts/release-tools/add_release_note_page.sh b/jenkins/scripts/release-tools/add_release_note_page.sh index 33e1cee96d..0f3650daba 100755 --- a/jenkins/scripts/release-tools/add_release_note_page.sh +++ b/jenkins/scripts/release-tools/add_release_note_page.sh @@ -44,7 +44,7 @@ cat - > releasenotes/source/${SERIES}.rst <