diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile index e8acfdc375..c23af2ad13 100644 --- a/ci/release/Jenkinsfile +++ b/ci/release/Jenkinsfile @@ -37,13 +37,13 @@ pipeline { string( name: 'RELEASE_VERSION', defaultValue: '', - description: 'The version to be released, e.g. 6.3.3.Final.', + description: 'The version to be released, e.g. 6.4.11.Final.', trim: true ) string( name: 'DEVELOPMENT_VERSION', defaultValue: '', - description: 'The next version to be used after the release, e.g. 6.3.4-SNAPSHOT.', + description: 'The next version to be used after the release, e.g. 6.4.12-SNAPSHOT.', trim: true ) booleanParam(