diff --git a/promote.Jenkinsfile b/promote.Jenkinsfile
index 77e8292ff..297b75e76 100644
--- a/promote.Jenkinsfile
+++ b/promote.Jenkinsfile
@@ -54,7 +54,7 @@ pipeline {
     )
     string(
       name: "RELEASE_LABEL",
-      defaultValue: "5.3.7",
+      defaultValue: "5.3.8",
       description: """
         The release label used to label the (nested) update site,
         e.g.: 3.10.0, 3.10.1, 4.0.0