diff --git a/promote.Jenkinsfile b/promote.Jenkinsfile index c4c4169a3..9643df0f5 100644 --- a/promote.Jenkinsfile +++ b/promote.Jenkinsfile @@ -54,7 +54,7 @@ pipeline { ) string( name: "RELEASE_LABEL", - defaultValue: "5.3.3", + defaultValue: "5.3.4", description: """ The release label used to label the (nested) update site, e.g.: 3.10.0, 3.10.1, 4.0.0