diff --git a/Jenkinsfile b/Jenkinsfile
index 59dcb35bac..4165f297ed 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -260,7 +260,6 @@ pipeline {
   }
   }
   post {      
-      
         success {
             emailext (
                 subject: "PR-result: Job '${env.JOB_NAME} [${env.BUILD_NUMBER}]' SUCCESS",