diff --git a/Jenkinsfile b/Jenkinsfile index 8f5355293..f2631c26b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,7 +4,7 @@ pipeline { agent none environment { - ReleaseNumber = '1.8.2' + ReleaseNumber = '1.8.3' outputEnc = '65001' }